3D scanning using shadows

ABSTRACT

A system and method of determining 3D information about a 3D scene using shadows that are cast on the 3D object.

CROSS REFERENCE TO RELATED APPLICATIONS

[0001] This application claims the benefit of the U.S. Provisional Applications No. 60/169,103, filed Dec. 6, 1999; 60/169,102, filed Dec. 9, 1999; and 60/183,172, filed on Feb. 17, 2000.

BACKGROUND

[0002] Three-dimensional scanning has recently become popular. However, many of the scanners used for such scanning trade-off between cost of acquisition and/or use, accuracy, ease-of-use and/or speed of acquisitions. Many commercial 3-D scanners emphasize the accuracy over all other parameters.

[0003] Scanners such as the Cyberware scanner may use an active illumination system in a fixed installation with controlled lighting. The object is transported using a motorized transport system. This can significantly increase the cost of the system. Moreover, this can make the system difficult to use in many installations, such as outdoors, where lighting may be difficult to control.

SUMMARY

[0004] The present application teaches a system which allows scanning of 3D objects using shadow imaging.

[0005] In an embodiment, the system requires only a computer and a camera. The computer may be programmed to image shadows, and determine three dimensional information of an object from the imaged shadows.

BRIEF DESCRIPTION OF THE DRAWINGS

[0006] These and other aspects will now be described in detail with reference to the accompanying drawings, wherein:

[0007]FIG. 1 shows a general set up showing three-dimensional objects and the shadow cast on those objects;

[0008]FIG. 2 shows the geometric principle of the technique used to recover three-dimensional information;

[0009]FIG. 3 shows a flowchart of operation, showing the operations that the computer carries out to recover this three-dimensional information;

[0010]FIGS. 4A and 4B show camera calibration;

[0011]FIG. 5 shows a three dimensional calibration;

[0012]FIGS. 6A, 6B and 6C show using a pencil of known height to calibrate a position of the light source;

[0013]FIG. 7 shows a summary of global geometry for a system with dual background planes and uncalibrated light source;

[0014]FIG. 8 shows a summary of global geometry with a single background planes and uncalibrated light source;

[0015]FIG. 9 shows scanning using a reference plane;

[0016]FIG. 10 shows depth propagation along multiple edges;

[0017]FIG. 11 shows a flowchart of operation of multiple images being obtained;

[0018]FIG. 12 shows the scanning set up with a light source and a straight edge at dual positions;

[0019]FIG. 13 shows will coordinate transformation for the system; and

[0020]FIG. 14 shows double-edged intersection using dual light sources.

DETAILED DESCRIPTION

[0021] The present application describes capturing three-dimensional surfaces using a simplified system. In one embodiment, the lighting can be “weakly structured”, i.e, any light source can be used.

[0022] The general principle is shown in FIG. 1. The scene to be imaged 100 is shown with a shadow 105 on the scene. The shadow 105 is produced by an edge, e.g. a straight edge such as a pencil or a stick, and is caused to move across the scene 100. The human operator produces the movement.

[0023] A camera 110 monitors the image of the scene including the shadows, and produces an output which is sent to a processor 120. The processor estimates the three-dimensional shape of the scene from the sequence of images of the shadow as deformed by three-dimensional elements of the scene. The processing operates to extract scene depth at least at a plurality of pixels in the image, more preferably at every pixel in the image. It should be understood, however, that the pixels could be of any size.

[0024] More detail about the acquisition, including the geometry of the acquisition, is shown in FIG. 2. A light source, shown approximated as point source 200, illuminates the scene 199. The intersection of the point source and the leading edge of the pencil define a plane Λ(t), at each time instant. Therefore, the boundary of the pencil's shadow on the scene comprises the intersection between the plane Λ(t), and the surface of the object.

[0025] In FIG. 2, the plane Π_(h) represents the horizontal plane, and the plane Π_(v) represents a vertical plane orthogonal to Π_(h). This vertical plane is optional. In the FIG. 1 setup for example, the plane ΠV is removed. The position of the plane Π_(h) in the camera reference plane will be known from calibration as explained further herein. The position of Π_(v) is also inferred from a projection Λ_(I) at the intersection line between Π_(h) and Π_(v).

[0026] The end goal is to obtain three-dimensional coordinates of each point P in the three-dimensional scene. This may be done one pixel at a time. The three-dimensional location of the point P in space will be estimated corresponding to every pixel p at coordinates x_(c) in the image obtained by the camera. Effectively, the user projects a succession of N shadows on the scene, thereby generating N shadow edges ξ_(I), where I=1 . . . N. The points on this edge are estimated through triangulation, as described herein.

[0027] The shadow time t is defined as the time when the shadow boundary passes by a given pixel along a line x_(c). Π_(t) represents the corresponding shadow plane at that time t. The leading edge of the shadow is represented by the value Λ.

[0028] The projection of Λ on the image plane λ is obtained by the camera at 305. This is done by a temporal processing operation of estimating the shadow time t_(x)(x_(c)) at each pixel x_(c). This temporal processing is followed by a spatial processing, in which the projection of Λ that is seen by the camera is represented by values λ. Therefore, the two portions of the shadow projected on the two planes Π_(h) and Π_(v) are visible on the image as the lines λ_(h) and λ_(v). After extracting these two lines, the location in space of the two corresponding lines Λ_(h) and Λ_(v) are obtained at 310. This can be done by forming a plane between the camera and the λ lines. In FIG. 2, the camera origin is shown as 0 _(c). A plane between 0 _(c) and the λ is can be obtained. These planes (0 _(c), λ(t), and (O_(c), λ(t)) are intersected with the image planes Π_(h) and Π_(v) respectively. The shadow plane Π_(t) is then found at 315. If the vertical plane has been used for scanning, then the shadow plane is the plane defined by the two non collinear lines Λ_(h) and Λ_(v) at 315. If the vertical plane has not been used for scanning, however, the shadow plane may still be inferred from the only available line λ_(H) and the position of the point light source S. in this latter case, point light source needs to be at a known and fixed location in space.

[0029] At 320, the actual point P corresponding to the pixel x_(c) is retrieved by triangulating Π of T with the optical ray O_(c) from the camera.

[0030] If the light source S is at a known location in space, then the shadow plane Π(t) may be directly inferred from the point S and the line Λ_(h). Consequently, no calculation of the additional plane Π(t) is not required. Therefore, two different embodiments are contemplated: a first having two calibrated planes (Π_(h)and Π_(v)) and an uncalibrated light source, and the second having one calibrated plane and a calibrated light source.

[0031] Camera Calibration

[0032] Camera calibration can be used to recover the location of the ground plane Π_(h) and the intrinsic camera parameters. The intrinsic camera parameters may include focal length, principal point, and radial distortion factor. A first embodiment of the calibration technique herein uses a planar checkerboard pattern.

[0033]FIGS. 4A and 4B show the setup which includes a planar checkerboard pattern 400 placed on the imaging area, e.g., the ground or table surface, in a general location of the objects to be scanned. The camera 402 is pointed at this general area. The camera 402 captures an image shown in FIG. 4B. This image is used to infer the intrinsic and extrinsic parameters of the camera.

[0034] The projections on the image planes of the known grid corners are matched to the expected projection that is directly on the image. This is described in more detail in Tsai “A Versatile Camera Calibration Technique for High Accuracy 3-D Machine Vision Metrology using off-the-shelf TV cameras and Lenses”. A first order symmetric radial distortion model is used for the lens. When this technique is used with a single image, the principal point, that is the intersection of the optical axis with the image plane, cannot be easily recovered. This principal point is therefore assumed to be identical with the image center. A full camera model may be used which integrates multiple images of the planar grid at different locations in space with different orientations, e.g., using three or four images.

[0035] It has been found that the quality of reconstruction is relatively insensitive to errors in the principal point position. Therefore, either of the calibration techniques can be used.

[0036] As described above, when a single reference plane, e.g. Π_(h), is used for scanning, the location of the light source must be known in order to infer the shadow plane location Π_(t). Another embodiment allows calibration in the light source using an item, e.g. a pencil or a stake of known length. The operation and geometric theory is shown in FIGS. 6A-6C. In FIG. 6A, the pencil is shown standing on the reference plane Π_(h). The camera 605 observes the shadow of the pencil 610 as projected on the ground plane. The acquired image is shown in FIG. 6B. Two points: b and t_(s) are found in this acquired image, as shown in FIG. 6B.

[0037]FIG. 6C shows a geometrical diagram. The points b and t_(s) can be triangulated to obtain the position in space of pencil points B and T using the known the height of the pencil H. Effectively, the coordinates of the pencil tip T can be directly inferred from B. As shown, this is done by intersecting optical rays (0c, b) and (0c, t_(s)) with the Π_(h) that is known from camera calibration. The point light source S therefore must lie in the plane Δ=(T, T_(s)) in space. This by itself yields a first linear constraint on the position of the light source.

[0038] By taking a second view, with the pencil at different locations on the plane, a second independent constraint with another line Λ prime can be obtained. A closed form solution for the 3-D coordinates of S may then be derived by intersecting the two lines Λ and Λ prime using a least squared combination.

[0039] Two views may provide sufficient information. However since the problem is linear, the estimation can be made more accurate by obtaining more than two views.

[0040] Operation 305 in FIG. 3 requires determining lines of intersection between the shadow plane Π of T. and the two planes Π of h and Π of v. This may be done by the spatial processing of localizing edges of the shadow that are directly projected onto orthogonal planes at each discrete time t to form the set of all shadow planes Π of T. Temporal processing also, and also estimating the time t_(s) as the shadow time, where the edge of the shadow passes through any given pixel x_(c)=x_(c), y_(c) in the image.

[0041] These processing tasks allow finding the edge of the shadow. However, the search domains for the spatial and temporal processing tasks may be different. The spatial task operates on the spatial coordinates or image coordinate system, while the temporal task operates on the temporal coordinates system. One aspect of the present system enables making the two search procedures more compatible so that at any time to when the shadow passes through a pixel x_(c), the two searches still find the exact same point (x, y, t0) in space-time.

[0042] A technique is described herein called spatio-temporal thresholding. This thresholding is based on the observation that, as the shadow is scanned across the scene, each pixel x,y sees its brightness intensity going from an initial maximum value Imax down to a minimum value I_(min). The pixel then returns to its initial value as the shadow goes away. This profile is characteristic even when there is a non-neglible amount of internal reflections in the scene.

[0043] For any given pixel {overscore (x)}_(c)=(x,y), define I_(min)(x,y) and I_(max)(x,y) as its minimum and maximum brightness throughout the entire sequence: $\left\{ \begin{matrix} {{I_{\min}\left( {x,y} \right)}\overset{.}{=}{\min\limits_{t}\left\{ {I\left( {x,y,t} \right)} \right\}}} \\ {{I_{\max}\left( {x,y} \right)}\overset{.}{=}{\max\limits_{t}\left\{ {I\left( {x,y,t} \right)} \right\}}} \end{matrix}\quad \right.$

[0044] The shadow is defined as to be the locations (in space-time) where the image I(x,y,t) intersects with the threshold image I_(shadow)(x,y); defined as the mean value between I_(max)(x,y) and I_(min)(x,y): ${I_{shadow}\left( {x,y} \right)}\overset{.}{=}{\frac{1}{2}\left( {{I_{\max}\left( {x,y} \right)} + {I_{\min}\left( {x,y} \right)}} \right)}$

[0045] This may be also regarded as the zero crossings of the difference image ΔI(x,y,t) defined as follows:

ΔI(x,y,t)≐I(x,y,t)−I _(shadow)(x,y)

[0046] The concept of dual space may assist in certain calculations.

SHADOW PLANE ESTIMATION Π(t)

[0047] Denote by {overscore (ω)}(t), {overscore (λ)}_(v)(t) and {overscore (λ)}_(v)(t) the coordinate vectors of the shadow plane Π(t) and of the shadow edges λ_(h)(t) and λ_(v)(t) at time t. Since λ_(h)(t) is the projection of the line of intersection Λ_(h)(t) between Π(t) and Π_(h), then (t) lies on the line passing through {overscore (ω)}_(h) with direction {overscore (λ)}_(h)(t) in dual-space (from proposition 1 of section 2.2.2). That line, denoted Λ_(h)(t), is the dual image of Λ_(h)(t) in dual-space as described above (see section 2.2.2). Similarly, {overscore (ω)}(t) lies on the line Λ_(v)(t) passing through {overscore (ω)}_(v) with direction {overscore (λ)}_(v)(t) (dual image of Λ_(v)(t)). Therefore, in dual-space, the coordinate vector of the shadow plane {overscore (ω)}(t) is at the intersection between the two known lines Λ_(h)(t) and Λ_(v)(t). In the presence of noise, these two lines might not exactly intersect (equivalently, the 3 lines λ_(i), λ_(h)(t) and λ_(v)(t) do not necessarily intersect at one point on the image plane, or their coordinate vectors {overscore (λ)}_(i), {overscore (λ)}_(h)(t) and {overscore (λ)}_(v)(t) are not coplanar). However, one may still identify {overscore (ω)}(t) with the point that is closest to the lines in the least-squares sense. The complete derivations for intersecting a set of lines in space may be found in section 4.1.2. When interesting the two lines Λ_(h)(t) and Λ_(v)(t) in space, the solution reduces to: ${{\overset{\_}{\omega}(t)} = {\frac{1}{2}\left( {{{\overset{\_}{\omega}}_{1}(t)} + {\overset{\_}{\omega_{2}}(t)}} \right)}},{with}$ ${\varpi_{1}(t)}\overset{.}{=}{\varpi_{h} + {\alpha_{h}{\overset{\_}{\lambda_{h}}(t)}}}$ ${\varpi_{2}(t)}\overset{.}{=}{\varpi_{v} + {\alpha_{v}{\overset{\_}{\lambda_{v}}(t)}}}$ ${{where}\begin{bmatrix} \alpha_{h} \\ \alpha_{v} \end{bmatrix}} = {A^{- 1}b}$

[0048] where A is a 2×2 matrix and b is a 2-vector defined as follows (for clarity, the variable t is omitted): ${A\overset{.}{=}\begin{bmatrix} {{< {\overset{\_}{\lambda}}_{h}},{{\overset{\_}{\lambda}}_{h} >}} & {{- {< {\overset{\_}{\lambda}}_{h}}},{{\overset{\_}{\lambda}}_{v} >}} \\ {{- {< {\overset{\_}{\lambda}}_{h}}},{{\overset{\_}{\lambda}}_{v} >}} & {{< {\overset{\_}{\lambda}}_{v}},{{\overset{\_}{\lambda}}_{v} >}} \end{bmatrix}},{b\overset{.}{=}\begin{bmatrix} {{< {\overset{\_}{\lambda}}_{h}},{{\varpi_{v} - \varpi_{h}} >}} \\ {{< {\overset{\_}{\lambda}}_{v}},{{\varpi_{h} - \varpi_{v}} >}} \end{bmatrix}}$

[0049] Note that the two vectors {overscore (ω)}₁(t) and {overscore (ω)}₂(2) are the orthogonal projections, in dual-space, of {overscore (ω)}(t) onto Λ_(h)(t) and Λ_(v)(t) respectively. The norm of the difference between these two vectors may be used as an estimate of the error in recovering Π(t). If the two edges λ_(h)(t) and λ_(v)(t) are estimated with different reliabilities, a weighted least square method may still be used.

[0050] Using the additional vertical plane Π_(v) enables extracting the shadow plane location without requiring the knowledge of the light source position. Consequently, the light source is allowed to move during the scan. This may allow use of natural light, e.g. the sun, for example.

[0051] When the light source is of fixed and known location in space, the plane Π_(v) is not required. Then, one may directly infer the shadow plane position from the line λ_(h)(t) and from the light source position S:

ω(t)=ω_(h)+{overscore (λ)}_(h)(t)

[0052] where $\begin{matrix} {{S \in \left. {\Pi (t)}\Leftrightarrow{< {\varpi (t)}} \right.},{\left. {{\overset{\_}{X}}_{s} > 1}\Leftrightarrow\alpha_{h} \right. = \frac{{{1 -} < \varpi_{h}},{{\overset{\_}{X}}_{s} >}}{{< {{\overset{\_}{\lambda}}_{h}(t)}},{{\overset{\_}{X}}_{s} >}}}} & (6.10) \end{matrix}$

[0053] where {overscore (X)}_(s)=[X_(s) Y_(s) Y_(s)]^(T) is the coordinate vector of the light source S in the camera reference frame. In dual-space geometry, this corresponds to the intersecting the line Λ_(h)(t) with plane Ŝ, dual image of the source point S. Notice that <{overscore (λ)}_(h)(t), {overscore (X)}_(s)>=0 corresponds to the case where the shadow plane contains the camera center projection O_(c). This is singular configuration that may make the triangulation fail (∥{overscore (ω)}(t)∥→∞). This approach requires an additional step of estimating the position of S using light source calibration. This reconstruction method was used in experiments 2 and 3.

[0054] The quantity 1−<{overscore (ω)}_(h), {overscore (X)}_(s)> reduces to h_(s)/d_(h) where h_(s) and d_(h) are the orthogonal distances of the light source S and the camera center O_(c) to the plane Π_(h).

[0055] Since {overscore (ω)}_(h) is the coordinate vector of plane Π_(h), the vector {overscore (n)}_(h)=d_(h){overscore (ω)}_(h) is the normal vector of the plane Π_(h) in the camera reference frame. Let P be a point in Euclidean space (E) of coordinate vector {overscore (X)}. The quantity d_(h)−<{overscore (n)}_(h), {overscore (X)}> is then the (algebraic) orthogonal distance of P to Π_(h) (positive quantity if the point P is on the side of the camera, negative otherwise). In particular, if P lies on Π_(h), then <{overscore (n)}_(h), {overscore (X)}>=d_(h), which is equivalent to <{overscore (ω)}_(h), {overscore (X)}>=1. The orthogonal distance of the light source S to Π_(h) is denoted h_(s). Therefore h_(s)=d_(h)−<{overscore (n)}_(h), {overscore (X)}>, or equivalently 1−<{overscore (ω)}_(h), {overscore (X)}_(s)>=h_(s)/d_(h).

[0056] According to that claim, the constant a_(h) of equation 6.10 may be written as: $\alpha_{h} = {\frac{h_{s}/d_{h}}{{< {{\overset{\_}{\lambda}}_{h}(t)}},{{\overset{\_}{X}}_{s} >}} = \frac{1/d_{h}}{{< {{\overset{\_}{\lambda}}_{h}(t)}},{{{\overset{\_}{X}}_{s}/h_{s}} >}}}$

[0057] This expression highlights the fact that the algebra naturally generalizes to cases the light source is located at infinity (and calibrated). Indeed, in those cases, the ratio {overscore (X)}_(s)/h_(s) reduces to {overscore (d)}_(s)/sin φ where {overscore (d)}_(s) is the normalized light source direction vector (in the camera reference frame) and φ the elevation angle of the light source with respect to the Π_(h). In dual-space, the construction of the shadow plane vector {overscore (ω)}(t) remains the same: it is still at the intersection of Λ_(h)(t) with Ŝ. The only difference is that the dual image Ŝ is a plane crossing the origin in dual-space. The surface normal of that plane is simply the vector {overscore (d)}_(s).

TRIANGULATION

[0058] Once the shadow time t_(s)({overscore (x)}_(c)) is estimated at a given pixel {overscore (x)}_(c)=[x_(c) y_(c) 1]^(T) (in homogeneous coordinates), the corresponding shadow plane Π(t_(s)({overscore (x)}_(c))) is identified (its coordinate vector {overscore (ω)}_(c)≐{overscore (ω)}(t_(s)({overscore (x)}_(c)))) by triangulation at 320. The point P in space associated to {overscore (x)}_(c) is then retrieved by intersecting Π(t_(s)({overscore (x)}_(c))) with the optical ray (0 _(c), {overscore (x)}_(c)): ${Z_{c} = {\left. \frac{1}{{< {\overset{\_}{\omega}}_{c}},{{\overset{\_}{x}}_{c} >}}\Rightarrow{\overset{\_}{X}}_{c} \right. = {Z_{c}\overset{\_}{x_{c} = \frac{{\overset{\_}{x}}_{c}}{{< {\overset{\_}{\omega}}_{c}},{{\overset{\_}{x}}_{c} >}}}}}},$

[0059] If {overscore (X)}_(c)=[X_(c) Y_(c) Z_(c)]^(T) is defined as the coordinate vector of P in the camera reference frame.

[0060] Notice that the shadow time t_(s)({overscore (x)}_(c)) acts as an index to the shadow plane list Π(t). Since t_(s)({overscore (x)}_(c)) is estimate at sub-frame accuracy, the plane Π(t_(s)({overscore (x)}_(c))) (actually it coordinate vector {overscore (ω)}_(c)) results from linear interpolation between the two planes Π(t₀−1) and Π(t₀) if t₀−1<t_(s)({overscore (x)}_(c))> t₀ and t₀ integer:

{overscore (ω)}_(c) =Δt{overscore (ω)}(t ₀−1)+(1−Δt){overscore (ω)}(t ₀),

[0061] where

Δt=t ₀ −t _(s)({overscore (x)} _(c)),0≦Δt>1.

[0062] Pixels corresponding to occluded regions in the same cannot provide substantive information. Therefore, only pixels that have a contrast value larger than a predetermined threshold are used. In the experiments giving herein, where intensity values are encoded between zero and 255, this threshold may be 30. The threshold may also be proportional to the level of noise in the image.

[0063] Once the shadow time is estimated at any given pixel, the shadow plane can be triangulated from its coordinate vector. The point in space (P) associated to the given pixel is then retrieved by intersecting the shadow plane with this optical ray. This is shown in FIG. 2. More specifically, ${Z_{c} = {\left. \frac{1}{\langle{{\overset{\_}{\omega}}_{c},{\overset{\_}{x}}_{c}}\rangle}\Rightarrow{\overset{\_}{X}}_{c} \right. = {{Z_{c}{\overset{\_}{x}}_{c}} = \frac{{\overset{\_}{x}}_{c}}{\langle{{\overset{\_}{\omega}}_{c},{\overset{\_}{x}}_{c}}\rangle}}}},$

[0064] the shadow time therefore ask as an index to the shadow plane list. This effectively provides range data to the actual object.

[0065] The recovered range data is used to form a mesh by connecting neighborhood points in triangles. Connectivity is directly given by the image. Two vertices become neighbors if their corresponding pixels are neighbors in the image. Moreover, since each vertex corresponds to a unique pixel, the texture mapping can be relatively easily carried out.

[0066]FIG. 7 shows the global geometrical principal of the reconstruction technique in normal Euclidean space (left) and “dual space” (right). This Figure shows the correspondence between Euclidean space and dual space for objects, e.g. lines and points on the image plane, as well as objects in 3-D which include planes, lines and points in space.

[0067] Observe that the calibration of the vertical plane Π_(v) is also illustrated in the dual-space diagram: its coordinate vector {overscore (ω)}_(v) is at the intersection of the Λ_(i) and the set of plane vectors orthogonal to {overscore (ω)}_(h) (defining a plane in dual-space). The line Λ_(i) is at the intersection of the two planes Π_(h) and Π_(v), and it dual image Λ_(i) is uniquely defined by the horizontal plane vector {overscore (ω)}_(h) and the vector {overscore (λ)}_(i), coordinate vector of the line λ_(i) observed on the image plane. This calibration process is described above.

[0068] Once {overscore (ω)}_(v) is known, the shadow plane vector {overscore (ω)}(t) associated to the shadow edge configuration at time t is at the intersection between the two lines Λ_(h)(t) and Λ_(v)(t), dual images of Λ_(h) (t) and Λ_(v)(t). Those two dual lines are defined by the two reference plane vectors {overscore (ω)}_(h) and {overscore (ω)}_(v) and the direction vectors {overscore (λ)}_(h)(t) and {overscore (λ)}_(v)(t) (vector coordinate of the two image lines λ_(h)(t) and λ_(v)(t)). This processing step is described in detail.

[0069] The final step consisting of identifying the point P in space by intersecting the optical ray (0 _(c), p) with the shadow plane Π is also illustrated on the dual-space diagram. In dual-space, that stage corresponds to finding the dual image of P that is the unique plane in dual-space containing the point {overscore (ω)}(t) (shadow plane vector) with orthogonal vector {overscore (x)}_(c) (homogeneous coordinate vector of the image point p).

[0070] An alternative embodiment uses a single reference plane (Π_(h) without Π_(v)) with a calibrated light source is summarized on FIG. 8. This technique uses a different procedure of estimating the shadow plane coordinate {overscore (ω)}(t). In that version, the vector {overscore (107 )}(t) is at the intersection of the dual line Λ_(h)(t) and the dual image of the light source Ŝ. The triangulation operation remains unchanged.

[0071] The point P in space is determined by intersecting the optical ray O_(c), P with the shadow plane Π. This corresponds to finding the dual image of P that is the unique plane in dual space that contains the point including the shadow plane vector with the orthogonal vector. This is done by triangulation as described above.

[0072] The alternate setup uses a single reference plane with a calibrated light source as shown in FIG. 8. In the FIG. 8 setup, a different procedure is used to estimate the shadow plane coordinate vector.

[0073] The accuracy of this system is not necessarily increased by decreasing the scanning speed. However, the scanning speed must be sufficiently slow to allow each temporary pixel profile to be sufficiently sampled. A sharper shadow edge will require slower scanning so that the temporal profile at each pixel can be properly sampled. The reality, however, is that the speed of moving the shadow is really limited by the response speed of the image acquisition element.

[0074] In this system, range data can only be retrieved for pixels that correspond to regions in the scene that are illuminated by the light source and imaged by the camera. Better coverage of the scene may be obtained from multiple scans of the same scene keeping the light source at different locations each time and keeping the camera position fixed.

[0075] The previous system has described accurately characterizing 3-D surface based on projection of shadows on a known reference plane. Another embodiment describes operating without using a background plane as the reference plane, and instead using a calibrated light source.

[0076] A summary of the scanning scenario for a flat reference plane is shown in FIG. 9. In the first embodiment, the plane Π_(d) is used as a reference plane for scanning. The position of the light source S is known and the position of the plane Π_(d) is also known from calibration/setup.

[0077] A curved edge shadow ξ is projected on the image during scanning. All points in space P are estimated as the curved edge moves across the image, by estimating from the points p on ξ. Π denotes the corresponding shadow plane. The image 930 corresponds to that image which is seen by the camera. The corresponding points A and B in the scene may be found by intersecting Π_(d) with the optical rays (O_(c), a) and (O_(c), b) from the image. The shadow plane Π may then be inferred from the three points in space: S, A and B.

[0078] For a given position of the shadow, once the shadow plane Π is identified, the 3-D image of the entire shadow edge ξ can be determined by geometric triangulation using, among other things, the known position of the reference plane Π_(d). This embodiment describes finding the 3D image, using a similar overall technique to that described above, but without knowing Π.

[0079] The extension to this embodiment takes into account a number of issues about the image. First, depth information at two distinct points on an edge propagates along the entire edge. Also, if depths Z of two distinct points a and b of this shadow edge ξ are known, then the depth at any other point in the image Z_(P) can also be found. Depth at two distinct points propagates over the whole image.

[0080] Let {overscore (x)}_(A) and {overscore (x)}_(B) be the homogeneous coordinate vectors of the two points α and b on the image plane {overscore (x)}_(A)=[x_(A) V_(A) 1]^(T). Then if the two depths Z_(A) and Z_(B) are know, then so are the full coordinate vectors of the associated points A and B in the 3D scene: {overscore (X)}_(A)=Z_(A){overscore (x)}_(A) and {overscore (X)}_(B)=Z_(B){overscore (x)}_(B). Therefore the associated shadow plane Π is the unique plane passing through the three points A, B and S. Once Π is recovered, any point p along the edge ∈ may be triangulated leading to Z_(p).

[0081] The depths of two points a and b may be known if they lie on the known reference plane Π_(d). Consequently, following Property 1, depth information at a and b propagate to every point p along the edge ∈.

[0082] Depths can also propagate from edge to edge. This concept is used here to allow the depths to propagate over the entire image. According to the present embodiment, knowledge of the depth of three distinct points in the image can be used to recover the entire scene depth map. Hence, knowledge of these three distinct points can be used in place of knowledge of the reference plane Π_(d).

[0083] A, b and c are defined as three distinct points in the scannable area of the image. For purposes of this explanation, it can be assumed their depths Z_(a), Z_(B) and Z_(c) are known. By appropriate shadow scanning, the depth of any point p in the image can be obtained.

[0084] This can be demonstrated using a constructive example. A shadow edge ξ1 that goes through points a and B can be projected. A second shadow edge ξ2 can be projected through points a and c. This is shown in FIG. 10. The two points a and b on ∈₁ are of known depth, and therefore the depth of every point along that edge can be similarly computed. Analogously, for ∈₂, the depth of every point along that edge can be computed.

[0085] For every point p on the image, there can be an edge ξp that passes through p and intersects both ∈_(a) and ∈₂ at distinct points P₁ and P₂ which points are each different than a. Since P₁ and P₂ each lie on the two known edges at ∈₁ and ∈₂, the depths of ξ1 and ξ₂ must also be known. Therefore, since two points on the shadow edge ∈_(p). are known, the depth of every point along ξ_(p) may also be computed. In particular, the depth of the point p can be computed as shown in FIG. 10. Moreover, if points between the edges intersect, then the depth information can propagate from edge to edge.

[0086] As stated above, this means that knowledge of the depth at three distinct points in the image becomes sufficient to recover the entire scene depth map. To propagate depth information from {a, b, c} to p uses intersecting points p1 and p2 of the shadow edges.

[0087] The system uses edges ξ. An edge ξ is an isolated edge if and only if it does not intersect with at least two other edges on the image. Depth information can not be propagated to any isolated edge from the rest of the edges. Isolated edges, therefore, can not be used in this system.

[0088] This embodiment follows the summary flowchart of FIG. 11, using the setup shown in more detail in FIG. 12. In FIG. 11, a number of summary operations are described, which are each described in further detail herein. The hardware of FIG. 12 shows a point source at S, and a straight edge producing element, e.g. a stick 1200 being shown in two different positions. Each different position projects a shadow onto the 3-D scene 12. A camera at 1220 receives a view of the image plane, and uses that view to reconstruct details of the 3-D image.

[0089] At 1110, a set of shadow images is obtained. The shadows are extracted, and their intersections are computed.

[0090] Let Π_(i) be the i^(th) shadow plane generated by the stick (i=1, . . . , N), with corresponding plane vector {overscore (ω)}_(i)=[w_(x) ^(i) w_(y) ^(i) w_(z) ^(i)]^(T) (in dual space). For all vectors {overscore (ω)}_(t) to be well defined, it is required that none of the planes Π_(I) contain the camera center 0 _(c). Denote by ∈_(I) the associated shadow edge observed on the image plane. The N vectors {overscore (ω)}_(I) constitute then the main unknowns in the reconstruction problem. Once those vectors are identified, all edges can be triangulated in space. Therefore, there is apparently a total of 3N unknown variables. However, given the scanning scenario, every shadow plane Π must contain the light source point S. Therefore, {overscore (X)}_(s)=[X_(s) Y_(s) Z_(S)]^(T) the light source coordinate vector in the camera reference frame (known), provides

∀i=1, . . . , N, <{overscore (ω)} _(i),{overscore (X)}_(S)>=1

[0091] Equivalently, in dual-space, all shadow plane vectors {overscore (ω)}_(i) must lie on the plane Ŝ, dual-image on the light source point S. One may then explicitly use that constraint, and parameterize the vectors {overscore (ω)}_(i) using a two-coordinate vector {overscore (u)}_(i)=[u_(x) ^(i) u_(y) ^(i)]^(T) such that:

{overscore (ω)}_(i) =W{overscore (u)} _(i)+{overscore (ω)}₀=[{overscore (ω)}_(s1) {overscore (ω)}_(s2)]{overscore (u)}_(i)+{overscore (ω)}₀

[0092] where {overscore (ω)}₀, {overscore (ω)}_(s1), and {overscore (ω)}_(s2) are three vectors defining the parameterization. For example, if X_(S)≠0, one may then keep the last two coordinates of {overscore (ω)}hd i as parameterization: {overscore (u)}_(i)=[w_(y) ^(i) w_(z) ^(i)]^(T), picking {overscore (ω)}_(s1)=[−Y_(S)/X_(S) 1 0]^(T), {overscore (ω)}_(s2)=[−Z_(S)/X_(S) 0 1]^(T) and {overscore (ω)}₀=[1/X₂ 0 0]^(T). Any other choice of linear parameterization is acceptable (there will always exist one give that is S≠0_(c)) . In order to define a valid coordinate change, the three non-zero vectors {overscore (ω)}₀, {overscore (ω)}_(s1), and _(s2) must only satisfy the three conditions (a) <{overscore (ω)}₀, {overscore (X)}_(S)>=1, (b) <{overscore (ω)}_(s1), {overscore (X)}_(S)>=0, (c) {overscore (ω)}_(s1)≠{overscore (ω)}_(s2). In dual-space, {{overscore (ω)}_(s1), {overscore (ω)}_(s2)} (or W) may be interpreted as a basis vector of the plane Ŝ and {overscore (ω)}₀ as one particular point on that plane. FIG. 13 shows the coordinate transformation.

[0093] After that parameter reduction, the total number of unknown variables reduces to 2N: two coordinates u_(x) ^(i) and u_(y) ^(i) per shadow plane Π_(i). Given that reduced plane vector parameterization (called {overscore (u)}-parameterization), global reconstruction can be carried out.

[0094] Intersecting points between the edges themselves depth information that propagates from edge to edge. These points provide geometrical constraints that may be extracted from the images. Therefore, a first operation may be carried out by studying the type of constraint provided by an elementary edge intersection.

[0095] Assume that the two edges ε_(n) and ε_(m) intersect at the point p_(k) on the image (n≠m), and let Π_(n) and Π_(m) be the two associated shadow planes with coordinate vectors {overscore (ω)}_(n) and {overscore (ω)}_(m) as shown in FIG. 12. Let {overscore (x)}_(k) be the homogeneous coordinate vector of p_(k) on the image plane, and Z_(k) the depth of the corresponding point P_(k) in the scene. The two edges ε_(n) and ε_(m) intersect in space at P_(k) if and only if the planes Π_(n) and Π_(m) and the scene surface intersect at a unique point in space (P_(k)). Equivalently, the depth Z_(k) may be computed by triangulation using either plane Π_(n) or Π_(m). This condition translates into the two constraint equations Z_(k)=1/<{overscore (ω)}_(n), {overscore (x)}_(k)>=1/<{overscore (ω)}_(m), {overscore (x)}_(k)> in dual-space which can be rewritten as follows:

<{overscore (x)}_(k), {overscore (ω)}_(n)−{overscore (ω)}_(m)>0

[0096] This unique equation captures then all the information that is contained into an elementary edge intersection. There is a very intuitive geometrical interpretation of that equation: Let Λ_(k) be the line of intersection between the two planes Π_(n) and Π_(m), in space, and let λ_(k) be the perspective projection of that line onto the image plane. Then, the vector {overscore (λ)}={overscore (ω)}_(n)−{overscore (ω)}_(m) is one coordinate vector of the line λ_(k). Therefore, equation 7.3 is merely <{overscore (x)}_(k), {overscore (λ)}_(k)>=0, which is equivalent to enforcing the point p_(k) to lie on λ_(k) (see FIG. 12). This equation has both advantages of (a) not explicitly involving Z_(k) (which may be computed afterwards from the shadow plane vectors) and (b) being linear in the plane vectors unknowns {overscore (ω)}_(n) and {overscore (ω)}_(m). The same constraint may also be written as a function of {overscore (u)}_(n) and {overscore (u)}_(m), the two {overscore (u)}-parameterization vectors of the shadow planes Π_(n) and Π_(m):

<{overscore (y)}_(K),{overscore (u)}_(N)−{overscore (u)}_(m)>=0

[0097] where {overscore (y)}_(k)=W^(T){overscore (x)}_(k) (a 2-vector). Notice that this new equation remains linear and homogeneous in that reduced parameter space.

[0098] Let N_(p) be the total number of intersection points p_(k) (k=1, . . . , N_(p)) existing in the edge-web (the entire set of edges). Assume that a generic p_(k) lies at the intersection of the two edges ε_(n(k)) and ε_(m(k)) (n(k) and m(k) are the two different edge indices).

[0099] The total set of constraints associated to the N_(p) intersections may then be collected in the form of N_(p) linear equations:

∀k=1, . . . N _(p), <{overscore (y)}_(k),{overscore (u)}_(m(k))−{overscore (u)}_(n(k))>=0

[0100] which may also be written in a matrix form:

A{overscore (U)}=0_(Np)

[0101] where 0 _(Np) is a vector of N_(p) zeros, A is an N_(p)×2N matrix (function of the {overscore (y)}_(k) coordinate vectors only) and {overscore (U)} is the vector of reduced plane coordinate (of length 2N): $\overset{\_}{U} = {\left\lbrack {{\overset{\_}{u}}_{1}^{T}\quad {\overset{\_}{u}}_{2}^{T}\quad \ldots}\quad \right\rbrack^{T} = {\begin{bmatrix} u_{x}^{1} & u_{y}^{1} & u_{x}^{2} & u_{y}^{2} & {\ldots \quad} \end{bmatrix}^{T}.}}$

[0102] The vector {overscore (U)}={{overscore (u)}_(i)}_(i . . . N). According to this equation, the solution for the shadow plane vectors lies in the null space of the matrix A. The rank of that matrix or equivalently the dimension of its null space are identified at 1120, isolated edges and isolated group of edges are rejected. This forms an edge web which is fully connected, resulting in a set of an edges ξ_(I) and N_(P) intersection points p_(K).

[0103] An edge-web is fully connected if and only if it cannot be partitioned into two groups of edges which have less that two (zero or one) points in common. In particular a fully connected edge-web does not contain any isolated edge. Notice that under the condition only, depth information can freely propagate though the entire web. A normal scanning scenario is then defined as a scenario where the edge-web is fully connected and the total number of intersections is larger than 2N (this last condition will be relaxed later on).

[0104] In a normal scanning scenario, the rank of the matrix A is exactly 2N-3 (or alternatively, the null space of A is of dimension 3).

[0105] This is because in a normal scanning scenario, the reconstruction problem has at most three parameters. Consequently the dimension of the null space of A is at most 3, or equivalently, A is of rank at least 2N-3 in fact, usually exactly 2N-3. At 1130, a unitary seed vector U₀ is calculated. The scene factor is calculated using singular value decomposition or SVD.

[0106] For every solution vector {overscore (U)}={{overscore (u)}_(i)} to the equation, there exists three scalars α, β and λ such that:

∀i=1, . . . , N, {overscore (u)} _(i) =y{overscore (u)} _(i) ⁰ +{overscore (u)} ₀

[0107] which are also obtained at 1130 with {overscore (u)}₀=[α β]^(T). Conversely, for any scalars α, β and ç, the vector {overscore (U)}={{overscore (u)}_(i)} given by the equation is solution of a linear system. The vector {overscore (U)}⁰ is called a “seed” solution from which all solutions of the linear system may be identified.

[0108] Any non-trivial solution vector {overscore (U)}⁰={{overscore (u)}_(i) ⁰} may be used as seed as long as it is one solution of the equation the solution vector (called the unitary seed vector) that satisfies the two extra normalizing conditions: (a) $\begin{matrix} {{\sum\limits_{i = 1}^{N}u_{i}^{- 0}} = 0} & (a) \end{matrix}$

[0109] (zero mean), (b) ${\sum\limits_{i = 1}^{N}{u_{i}^{- 0}}^{2}} = 1$

[0110] (unit norm) may be used. Those conditions assure a non trivial solution meaning that all {overscore (u)}_(I) cannot be identical. The unitary seed vector {overscore (U)}⁰ satisfies the linear equation B{overscore (U)}⁰=o_(n2-0), where b is the following augmented (N_(p)-2)×2N matrix: $B = \begin{bmatrix} A \\ {1\quad 0\quad 1\quad 0\quad \ldots \quad 1\quad 0} \\ {0\quad 1\quad 0\quad 1\quad \ldots \quad 0\quad 1} \end{bmatrix}$

[0111] The last two rows of B enforce the zero-mean constraint, bringing the rank of B to 2N-1 (=(2N-3)+2). Therefore, the dimension of null space of B is one, leading to {overscore (U)}⁰ being the unitary eigenvector associated to the unique zero eigenvalue of B. Consequently, a standard singular value decomposition (SVD) of B allows to naturally retrieve {overscore (U)}⁰. Such a decomposition leads to the following relation:

B=USV^(T)

[0112] where U and V [V₁ V₂ . . . V_(2N)] are two unitary matrices of respective sizes (N_(p)+2)×(N_(p)+2) and 2N×2N, and S is the (N_(p)+2)×2N matrix of singular values. The unitary seed vector {overscore (U)}⁰ is then the column vector of V associated to the zero singular value. Without loss of generality, assume it is the last column vector: {overscore (U)}⁰={{overscore (u)}_(i) ⁰}=V_(2N). Alternatively, one may retrieve the same V matrix by applying the same decomposition on the smaller 2N×2N symmetric matrix C=B^(T)B. Such a matrix substitution is advantageous because the so-defined matrix, C, has a simple block structure: $C = \begin{bmatrix} C_{1,1} & C_{1,2} & \cdots & C_{1,N} \\ C_{2,1} & C_{2,2} & \cdots & C_{2,N} \\ \vdots & \vdots & ⋰ & \vdots \\ C_{N,1} & C_{N,2} & \cdots & C_{N,N} \end{bmatrix}$

[0113] where each matrix element C_(ij) is of size 2×2.

[0114] Two shadow edges can only intersect once (two shadow planes intersect along a line that can only interest the scene at a single point). All matrices C_(ij) have the following expressions: $C_{ij} = {{I_{2} - {{\overset{\_}{Y}}_{k{({ij})}}{\overset{\_}{Y}}_{k{({ij})}}^{T}\quad {if}\quad i}} \neq j}$ $C_{i,i} = {I_{2} - {\sum\limits_{n = 1}^{N}{{\overset{\_}{Y}}_{k{({i,n})}}{\overset{\_}{Y}}_{\quad_{k{({i,n})}}}^{T}}}}$

[0115] where I₂ is the 2×2 identity matrix. Observe that, every off-diagonal matrix element C_(ij) (i≠j) depends only on the intersection point p_(k(ij)) between edges ∈_(I) and ∈_(j). Every diagonal block C_(i,i) however is function of all the intersection points of ε₁ with the rest of the edge-web (the sum is over all points p_(k(i,n)), for n=(1, . . . , N).

[0116] Once the C matrix is built, V is retrieved by singular value decomposition (1130; FIG. 11). This technique allows then for a direct identification of the unitary seed solution of ${\overset{\_}{U}}^{0} = \left\{ {\overset{\_}{u}}_{i}^{0} \right\}$

[0117] leading the set of all possible solutions of the equation. Euclidean reconstruction is thus achieved up to the three parameters α, β and λ.

[0118] Once the seed solution {overscore (U)}⁰={{overscore (u)}_(i) ⁰} is found (by SVD), one may identify the final “Euclidean” solution {overscore (U)}={{overscore (u)}_(I)} at 1140 if the depth of (at least) three points in the scene are known. Without loss of generality, assume that these points are p_(k) for k=1, 2, 3 (with depths Z_(k)). Those points provide then three linear equations in the unknown coefficient vector {overscore (α)}=[α, β γ]^(T) ${\left\lbrack {{\overset{\_}{y}}_{k}^{T}{\langle{{\overset{\_}{u}}_{n{(k)}}^{0},\overset{\_}{y}}\rangle}} \right\rbrack \overset{\_}{\alpha}} = {{1/Z_{k}} - {\langle{{\overset{\_}{\omega}}_{0},{\overset{\_}{x}}_{k}}\rangle}}$

[0119] for k=1, 2, 3 resulting into a linear system of three equations and three unknowns. This system may then be solved, yielding the three coefficients α, β and λ, and therefore the final solution vector {overscore (U)}. Complete Euclidean shape reconstruction is thus achieved. If more points are used as initial depths, the system may be solved in the least squares sense (once again optimal in the inverse depth error sense). Notice that the reference depth points do not have to be intersection points as the equation contends. Any three (or more) points in the edge-web may be used.

[0120] While the above has described strict reconstruction, other clues about the scene may also be used. These clues may include planarity of portions on the scene, angles between the different planes, or mutual distances between points in space. Any of these geometric clues can help either simplify the calculations, or make the calculations more strictly Euclidean. Another embodiment, shown in FIG. 14, generalizes the above operation to use with multiple light sources. Using the notation above, two calibrated light sources may be used. In this case, the matrix A has a rank that is increased to 2N-2. To shadow planes from the two light sources S1 and S2 can intersect at least at two points in the scene. As described above, depth information at those two points can then propagate along the two edges. They also propagate to the rest of the edge web as described above.

[0121] Two shadow planes Πn and Πm are generated from the two light sources as shown in FIG. 14. Two corresponding shadow edges ξn and ξm intersect on the image plane at the two points P. Depth information at P_(k) and qk propagates through the shadow edges for and am. This provides further information which can be used for further detection of information in the scene.

B-Dual-Space Geometry

[0122] The notation in the foregoing refers to “Dual Space” and “B-shape”. The meaning of this notation is further described herein. All definitions are given in Euclidean space as well as in projective geometry. A mathematical formalism called B-dual-space geometry is derived from projective geometry. This formalism enables us to explore and compute geometrical properties of three-dimensional scenes with simple and compact notation. This will be illustrated in the following chapter when applying that formalism to the problem of camera calibration.

[0123] Let (E) be the 3D Euclidean space. For a given position of a camera in space we define

=(O_(c), X_(c), Y_(c), Z_(c)) as the standard frame of reference (called “camera reference frame”) where O_(c) is the camera center of projection, and the three axes (O_(c), X_(c)), (O_(c), Y_(c)) and (O_(c), Z_(c)) are mutually orthogonal and right-handed ((O_(c), X_(c)) and (O_(c), Y_(c)) are chosen parallel to the image plane).

[0124] We may then refer to a point P in space by its corresponding Euclidean coordinate vector {overscore (X)}=[X Y Z]^(T) in that reference frame

. The Euclidean space may also be viewed as a three-dimensional projective space

³. In that representation, the point P is alternatively represented by the homogeneous 4-vector {overscore (X)}≅[X Y Z 1]^(T). The sign ≅ denotes a vector equality up to a non-zero scalar. Therefore, any scaled version of [X Y Z 1]^(T) represents the same point in space.

[0125] A plane Π in space is defined as the set of points P of homogeneous coordinate vector {overscore (X)} that satisfy:

<{overscore (π)},{overscore (X)}>=0  (2.1)

[0126] where π≅[π_(x)π_(y)π_(z)π_(t)] is the homogeneous 4-vector parameterizing the plane Π (<.> is the standard scalar product operator). Observe that if {overscore (π)} is normalized such that π_(x) ²+π_(y) ²+π_(z) ²=1, then {overscore (n)}_(x)=[π_(x)π_(y)π_(z)]^(T) is the normal vector of the plane Π (in the camera reference frame

) and d=−π_(t) its orthogonal (algebraic) distance to the camera center O_(c)

[0127] Image plane and perspective projection

[0128] Let (I) be the 2D image plane. The image reference frame is defined as (c, x_(c), y_(c)) where c is the intersection point between (O_(c), Z_(c)) (optical axis) and the image plane, and (c, x_(c)) and (c, y_(c)) are the two main image coordinate axes (parallel to (O_(c), X_(c)) and (O_(c), Y_(c))). The point c is also called optical center or principal point.

[0129] Let p be the projection on the image plane of a given point P of coordinates {overscore (X)}=[X Y Z]^(T), and denote {overscore (x)}=[x y]^(T) its coordinate vector on the image plane. Then, the two vectors {overscore (X)} and {overscore (x)} are related through the perspective projection equation: $\begin{matrix} {\overset{\_}{x} = {\begin{bmatrix} x \\ y \end{bmatrix} = {\frac{1}{Z}\begin{bmatrix} X \\ Y \end{bmatrix}}}} & (2.2) \end{matrix}$

[0130] This projection model is also referred to as a “pinhole” camera model.

[0131] In analogy to Euclidean space, it is sometimes useful to view the image plane as a two-dimensional projective space

². In that representation, a point p on the image plane has homogeneous coordinate vector {overscore (x)}≅[x y 1]^(T). Similarly to

³, any scaled version of [x y 1^(T) describes the same point on the image plane.

[0132] One advantage of using projective geometry is that the projection operator defined in equation 2.2 becomes a linear operator from

³ to

².

{overscore (x)}≅P{overscore (X)} with P=[I_(3×3) 0_(3×1)]  (2.3)

[0133] where {overscore (X)} and {overscore (x)} are the homogeneous coordinates of P and p respectively, I_(3×3) is the 3×3 identify matrix and 0 _(x×1) is the 3×1 zero-vector. Observe from equation 2.3 that {overscore (x)} is equal (up to a scale) to the Euclidean coordinate vector {overscore (X)}=[X Y Z] of P:

{overscore (x)}≅{overscore (X)}  (2.4)

[0134] Therefore {overscore (x)} is also referred to as the optical ray direction associated to P.

[0135] A line λ on the image plane is defined as the set of points p of homogeneous coordinate vectors {overscore (x)} that satisfy:

<{overscore (λ)}, {overscore (x)}>=0  (2.5)

[0136] where {overscore (λ)}=[λ_(x) λ_(y) λ_(z)]^(T) is the homogeneous 3-vector defining the line λ. Observe that if {overscore (λ)} is normalized such that λ_(x) ²+λ_(y) ²=1, then {overscore (n)}_(λ)=[λ_(x) λ_(y)]^(T) is the normal vector of the line λ (in the image reference frame) and d_(λ)=−λ_(z) its orthogonal (algebraic) distance to the principal point c.

[0137] Claim 1: Let p₁ and p₂ be two distinct points on the image plane with respective homogeneous coordinate vectors {overscore (x)}₁ and {overscore (x)}₂. Then, it is straightforward to show that the line λ connecting p₁ and P₂ has homogeneous coordinate vector {overscore (λ)}≅{overscore (x)}₁×{overscore (x)}₂, where x is the standard vector product operator in

³.

[0138] Claim 2: Let λ₁ and λ₂ be two distinct lines on the image plane with respective homogeneous coordinate vectors {overscore (λ)}₁ and {overscore (λ)}₂. Then, the point of intersection p between the two lines λ₁ and λ₂ has homogeneous coordinate vector {overscore (x)}≅{overscore (λ)}₁×{overscore (λ)}₂. If the two lines are parallel then the last coordinate of {overscore (x)} is zero. In that case p is a point at infinity.

[0139] There exists useful relations between lines on the image plane and planes in space, as illustrated by the two following examples.

EXAMPLE 1

[0140] Consider a line λ on the image plane of coordinate vector {overscore (λ)}=[λ_(x) λ_(y) λ_(z)]^(T). Then, the set of points P in space that project onto λ is precisely the plane Π_(λ) spanned by λ and the camera O_(c). Let {overscore (π)}_(λ) be the coordinate vector of Π_(λ). Let us compute {overscore (π)}_(λ) as a function of {overscore (λ)}. According to equations 2.3 and 2.5, a point P of homogeneous coordinate vector {overscore (X)} will lie on Π_(λ) if and only if:

<{overscore (λ)}, P{overscore (X)}>=0  (2.6)

[0141] this relation enforces the projection of P to lie on λ. This may be alternatively written:

<P^(T){overscore (λ)}, {overscore (X)}>=0  (2.7)

[0142] Therefore the plane coordinates {overscore (π)}_(λ) has the following expression: $\begin{matrix} {{{\overset{\_}{\pi}}_{\lambda} \simeq {P^{T}\overset{\_}{\lambda}}} = {\begin{bmatrix} \overset{\_}{\lambda} \\ 0 \end{bmatrix} = \begin{bmatrix} \lambda_{x} \\ \lambda_{y} \\ \lambda_{z} \\ 0 \end{bmatrix}}} & (2.8) \end{matrix}$

EXAMPLE 2

[0143] Consider two planes in space Π₁ and Π₂ of respective coordinate vectors {overscore (π)}₁≅[π_(x) ₁ π_(y) ₁ π_(z) ₁ π_(t) ₁ ]^(T) and {overscore (π)}₂≅[π_(x) ₂ π_(y) ₂ π_(z) ₂ π_(t) ₂ ]^(T). Assume the two planes intersect along line Λ in space, and call λ the resulting image line after projection of Λ onto the image plane. Let us compute the coordinate vector {overscore (λ)} of λ as a function of {overscore (π)}₁ and {overscore (π)}₂. Consider a point P on Λ and denote p its projection on the image plane. Since P lies on Π₁ and Π₂, its homogeneous coordinate vector {overscore (X)}≅[X Y Z 1]^(T) must satisfy the following system: $\begin{matrix} \left\{ \begin{matrix} {{{\pi_{x_{1}}X} + {\pi_{y_{1}}Y} + {\pi_{z_{1}}Z} + \pi_{t_{1}}} = 0} & \left( L_{1} \right) \\ {{{\pi_{x_{2}}X} + {\pi_{y_{2}}Y} + {\pi_{z_{2}}Z} + \pi_{t_{2}}} = 0} & \left( L_{2} \right) \end{matrix} \right. & (2.9) \end{matrix}$

[0144] This system yields:

(π_(t) ₂ π_(x) ₁ −π_(t) ₁ π_(x) ₂ )X+(π_(t) ₂ π_(y) ₁ −π_(t) ₁ π_(y) ₂ )Y+(π_(t) ₂ π_(z) ₁ −π_(t) ₁ π_(z) ₂ )Z=0.  (2.10)

[0145] Since the homogeneous coordinate vector of p is {overscore (x)}≅{overscore (X)}=[X Y Z]^(T), equation 2.10 reduces to a standard image line equation:

<{overscore (λ)}, {overscore (x)}>=0  (2.11)

[0146] where $\begin{matrix} {\overset{\_}{\lambda} \simeq \begin{bmatrix} {{\pi_{t_{2}}\pi_{x_{1}}} - {\pi_{t_{1}}\pi_{x_{2}}}} \\ {{\pi_{t_{2}}\pi_{y_{1}}} - {\pi_{t_{1}}\pi_{y_{2}}}} \\ {{\pi_{t_{2}}\pi_{z_{1}}} - {\pi_{t_{1}}\pi_{z_{2}}}} \end{bmatrix}} & (2.12) \end{matrix}$

[0147] that is the coordinate vector of λ, projector of Λ=Π₁∩Π₂.

[0148] Rigid body motion transformation

[0149] Consider a set on N points P_(i) in space (i=1, . . . , N), and let {overscore (X)}_(i)=[X_(i) Y_(i) Z_(i)]^(T) be their respective coordinate vectors in the camera reference frame

. Suppose the camera moves to a new location in space, and let {overscore (X)}_(i)′=X_(i)′ Y_(i)′ Z_(i)′]^(T) be the coordinate vectors of the same points P_(i) in the new camera reference frame

′. Then {overscore (X)}_(i) and {overscore (X)}′_(i) are related to each other through a rigid body motion transformation:

∀_(i)=(1, . . . N), {overscore (X)}_(i)′=R{overscore (X)}_(i)+T  (2.13)

[0150] Where R∈SO(3), which is a special orthogonal 3×3 matrix, and T are respectively a 3×3 rotation matrix and a 3-vector that uniquely define the rigid motion between the two camera positions. The matrix R is defined by a rotation vector {overscore (Ω)}=[Ω_(x) Ω_(y) Ω_(z)]^(T) such that:

R=e^({overscore (Ω)}Λ)  (2.14)

[0151] where {overscore (Ω)}Λ is the following skew-symmetric matrix: $\begin{matrix} {{\overset{\_}{\Omega}\Lambda} = \begin{bmatrix} 0 & {- \Omega_{z}} & \Omega_{y} \\ \Omega_{z} & 0 & {- \Omega_{x}} \\ {- \Omega_{y}} & \Omega_{x} & 0 \end{bmatrix}} & (2.15) \end{matrix}$

[0152] Equation 2.14 may also be written in a compact form using the Rodrigues' formula: $\begin{matrix} {R = {{I_{3 \times 3}{\cos (\theta)}} + {\left\lbrack {\overset{\_}{\Omega}\Lambda} \right\rbrack \quad \frac{\sin (\theta)}{\theta}} + {\left\lbrack {\overset{\_}{\Omega}\quad {\overset{\_}{\Omega}}^{T}} \right\rbrack \quad \frac{1 - {\cos (\theta)}}{\theta^{2}}}}} & (2.16) \end{matrix}$

[0153] where θ=∥{overscore (Ω)}∥, and {overscore (Ω)}{overscore (Ω)}^(T) is the following semi-positive definite matrix: $\begin{matrix} {{\overset{\_}{\Omega}{\overset{\_}{\Omega}}^{T}} = \begin{bmatrix} \Omega_{x}^{2} & {\Omega_{x}\Omega_{y}} & {\Omega_{x}\Omega_{z}} \\ {\Omega_{y}\Omega_{x}} & \Omega_{y}^{2} & {\Omega_{y}\Omega_{z}} \\ {\Omega_{z}\Omega_{x}} & {\Omega_{z}\Omega_{y}} & \Omega_{z}^{2} \end{bmatrix}} & (2.17) \end{matrix}$

[0154] The fundamental rigid body motion equation 2.13 may also be written in projective space

³. In

³, the point P_(i) has homogeneous coordinate vectors {overscore (X)}_(i) ≅[X_(i) Y_(i) Z_(i) 1]^(T) and {overscore (X)}_(i)′≅[X_(i)′ Y_(i)′ Z_(i)′ 1]^(T) in the first (

) and second (

′) reference frames respectively. Then, equation 2.13 may be written: $\begin{matrix} {{{\overset{\_}{X}}_{i}^{\prime} \simeq {D\quad {\overset{\_}{X}}_{i}\quad {with}\quad D}} = \begin{bmatrix} R & T \\ 0_{1 \times 3} & 1 \end{bmatrix}} & (2.18) \end{matrix}$

[0155] where 0 _(1×3) is a 1×3 zero row vector. Observe that the inverse relation may also be written as follows: $\begin{matrix} {{{\overset{\_}{X}}_{x}^{\prime} \simeq {D^{- 1}{\overset{\_}{X}}_{i}^{\prime}\quad {with}\quad D^{- 1}}} = \begin{bmatrix} R^{T} & {{- R^{T}}T} \\ 0_{1 \times 3} & 1 \end{bmatrix}} & (2.19) \end{matrix}$

[0156] Let p_(i)′ be the projection of P_(i) onto the second camera image plane, and let {overscore (x)}_(i)′ be the homogeneous coordinate vector. Then, following the equation 2.3, we have:

{overscore (x)}_(i)′≅P{overscore (X)}_(i)′  (2.20)

[0157] which may be also written:

{overscore (x)}_(i)′≅P′{overscore (X)}_(i)  (2.21)

[0158] where: which may be also written:

P′=PD=[RT]  (2.22)

[0159] The matrix P′ is the projection matrix associated to the second camera location.

[0160] Consider now a plane Π of homogeneous coordinate vectors {overscore (π)} and {overscore (π)}′ in both camera reference frames

and

′ . How do {overscore (π)} and {overscore (π)}′ relate to each other? Consider a generic point P on Π with homogeneous coordinate vectors {overscore (X)} and {overscore (X)}′ in both reference frames. According to equation 2.1, we have:

<{overscore (π)}, {overscore (X)}>=0  (2.23)

[0161] which successively implies:

<{overscore (π)}, D⁻¹{overscore (X)}_(i)′≦=0  (2.24)

<D^(−T){overscore (π)},{overscore (X)}_(i)′>=0  (2.25)

[0162] Therefore: $\begin{matrix} {{{\overset{\_}{\pi}}^{\prime} \simeq {D^{- T}\overset{\_}{\pi}}} = {\begin{bmatrix} R & 0_{3 \times 1} \\ {{- T^{T}}R} & 1 \end{bmatrix}\overset{\_}{\pi}}} & (2.26) \end{matrix}$

[0163] Similarly, the plane coordinate vector before motion {overscore (π)} may be retrieved from {overscore (π)}′ through the inverse expression: $\begin{matrix} {{\overset{\_}{\pi} \simeq {D^{T}{\overset{\_}{\pi}}^{\prime}}} = {\begin{bmatrix} R^{T} & 0_{3 \times 1} \\ T^{T} & 1 \end{bmatrix}{\overset{\_}{\pi}}^{\prime}}} & (2.27) \end{matrix}$

[0164] In order to put in practice these concepts, let us go through the following example:

EXAMPLE 3

[0165] In the second reference frame

′ (after camera motion), consider a line λ′ on the image plane, and the plane Π that this line spans with the camera center (similarly to example 1 . Let {overscore (λ)}′ and {overscore (π)}′ be the homogeneous coordinate vectors of λ′ and Π in

′. Let us compute {overscore (π)}, the coordinate vector of Π in the initial camera reference frame

(before motion) as a function of {overscore (λ)}′, R and T.

[0166] According to equation 2.8, {overscore (π)}′ and {overscore (λ)}′ are related through the following expression: $\begin{matrix} {{\overset{\_}{\pi}}^{\prime} \simeq \begin{bmatrix} {\overset{\_}{\lambda}}^{\prime} \\ 0 \end{bmatrix}} & (2.28) \end{matrix}$

[0167] Then, {overscore (π)} may be calculated from {overscore (π)}′ using equation 2.27: $\begin{matrix} {{\overset{\_}{\pi} \simeq {D^{T}{\overset{\_}{\pi}}^{\prime}}} = {{\begin{bmatrix} R^{T} & 0_{3 \times 1} \\ T^{T} & 1 \end{bmatrix}\quad\begin{bmatrix} {\overset{\_}{\lambda}}^{\prime} \\ 0 \end{bmatrix}} = {\begin{bmatrix} {R^{T}{\overset{\_}{\lambda}}^{\prime}} \\ {\langle{T,{\overset{\_}{\lambda}}^{\prime}}\rangle} \end{bmatrix} = {P^{\prime \quad T}{\overset{\_}{\lambda}}^{\prime}}}}} & (2.29) \end{matrix}$

[0168] where P′ is the projection matrix associated to the second camera location (eq. 2.22). Observe the similarity between equations 2.8 and 2.29.

[0169] Definition of B-dual-space

[0170] As presented in the previous section, a plane Π in space is represented by an homogeneous 4-vector {overscore (π)}≅[π_(x) π_(y) π_(z) π_(t)]^(T) in the camera reference frame

=(0 _(c), X_(c), Y_(c), Z_(c)) (see equation 2.1). Alternatively, if Π does not contain the camera center O_(c) (origin of

) then it may be represented by a 3-vector {overscore (ω)}=[ω_(x) ω_(y) ω_(z)]^(T), such that:

<{overscore (ω)}, {overscore (X)}>=1  (2.30)

[0171] for any point P∈Π of coordinate vector {overscore (X)}=[X Y Z]^(T) in

. Notice that {overscore (ω)}={overscore (n)}_(π)/d_(π) where {overscore (n)}_(π) is the unitary normal vector of the plane and d_(π≠)0 its distance to the origin. Let (Ω)=

³. Since every point {overscore (ω)}∈(Ω) corresponds to a unique plane Π in Euclidean space (E), we refer to (Ω) as the ‘plane space’ or ‘B-dual-space’. For brevity in notation, we will often refer to this space as the dual-space. There exists a simple relationship between plane coordinates in projective geometry and dual-space geometry: $\begin{matrix} {\overset{\_}{\omega} = {{{- {\frac{1}{\pi_{t}}\begin{bmatrix} \pi_{x} \\ \pi_{y} \\ \pi_{z} \end{bmatrix}}}\quad {if}\quad \pi_{t}} \neq 0}} & (2.31) \end{matrix}$

[0172] In that sense, dual-space geometry is not a new concept in computational geometry. Originally, the dual of a given vector space (E) is defined as the set of linear forms on (E) (linear functions of (E) into the reals

). In the case where (E) is the three dimensional Euclidean space, each linear form may be interpreted as a plane Π in space that is typically parameterized by a homogeneous 4-vector {overscore (π)}≅[π_(x) π_(y) π_(z) π_(t)]^(T). A point P of homogeneous coordinates {overscore (X)}=[X Y Z 1]^(T) lies on a generic plane Π of coordinates {overscore (π)} if and only if <{overscore (π)}, {overscore (X)}=0 (see [13]). Our contribution is mainly the new {overscore (ω)}-parameterization. We will show that this representation exhibits useful properties allowing us to naturally relate objects in Euclidean space (planes, lines and points) to their perspective projections on the image plane (lines and points). One clear limitation of that representation is that plane crossing the camera origin cannot be parameterized using that formalism (for such planes π_(t)=0). However, this will be shown not to be a critical issue in all geometrical problems addressed in this thesis (as most planes of interest do not contain the camera center).

[0173] Properties of B-dual space

[0174] This section presents the fundamental properties attached to dual-space geometry.

[0175] The following proposition constitutes the major property associated to our choice of parameterization:

[0176] Proposition 1: Consider two planes Π_(a) and Π_(b) in space, with respective coordinate vectors {overscore (ω)}_(a) and ω_(b)({overscore (ω)}_(a)≠{overscore (ω)}_(b)) in dual-space, and let Λ=Π_(a)∩Π_(b) be the line of intersection between them. Let λ be the perspective projection of Λ on the image plane, and {overscore (λ)} its homogeneous coordinate vector. Then {overscore (λ)} is parallel to {overscore (ω)}_(a)-{overscore (ω)}_(b). In other words, {overscore (ω)}_(a)-{overscore (ω)}_(b) is a valid coordinate vector of the line λ.

[0177] Proof: Let P∈Λand let p be the projection of P on the image plane. Call {overscore (X)}=[X Y Z]^(T) and $\overset{\_}{x} \simeq {\frac{1}{z}\overset{\_}{X}}$

[0178] the respective coordinates of P and p. We successively have: $\begin{matrix} {P \in \left. \Lambda\Leftrightarrow\quad \left\{ \begin{matrix} P & \in & \Pi_{a} \\ P & \in & \Pi_{b} \end{matrix} \right. \right.} \\ \left. \Leftrightarrow\quad \left\{ \begin{matrix} {{\langle{{\overset{\_}{w}}_{a},\overset{\_}{X}}\rangle} = 1} \\ {{\langle{{\overset{\_}{w}}_{b},\overset{\_}{X}}\rangle} = 1} \end{matrix} \right. \right. \\ {\left. \Rightarrow\quad {\langle{{{\overset{\_}{w}}_{a} - {\overset{\_}{w}}_{b}},\overset{\_}{X}}\rangle} \right. = 0} \\ {\left. \Rightarrow\quad {\langle{{{\overset{\_}{w}}_{a} - {\overset{\_}{w}}_{b}},\overset{\_}{X}}\rangle} \right. = {0\quad \left( {{{since}\quad Z} \neq 0} \right)}} \\ \left. \Rightarrow\quad {\overset{\_}{\lambda} \simeq {{\overset{\_}{w}}_{a} - {w_{b}.\bullet}}} \right. \end{matrix}$

[0179] Notice that this relation is significantly simpler than that derived using standard projective geometry (equation 2.12).

[0180] In addition, observe that the coordinate vector {overscore (ω)} of any plane Π containing the line Λ lies on the line connecting {overscore (ω)}_(a) and {overscore (ω)}_(b) in dual-space (Ω). We denote that line by {circumflex over (Λ)} and call it the dual image of Λ. The following definition generalizes that concept of dual image to other geometrical objects:

[0181] Definition: Let

be a sub-manifold of (E) (e.g., a point, line, plane, surface or curve). The dual image of

of

is defined as the set of coordinates vectors {overscore (ω)} in dual-space (Ω) representing the tangent planes to

. Following that standard definition (see [13, 14]), the dual images of points, lines and planes in (E) may be shown to be respectively planes, lines and points in dual-space (Ω). Further properties regarding non-linear sub-manifolds may be observed, such as for quadric surfaces in [15] or for general apparent contours in space in [16].

[0182] The following five propositions cover the principal properties attached to the dual-space formalism.

[0183] Proposition 2—Parallel Planes—Horizon Line: Let Π_(a) and Π_(b) be two parallel planes of coordinates {overscore (ω)}_(a) and {overscore (ω)}_(b). Then {overscore (ω)}_(a) is parallel to {overscore (ω)}_(b).

[0184] Proof: The planes have the same surface normals {overscore (n)}_(a)={overscore (n)}_(b). Therefore, the proposition follows from definition of {overscore (ω)}.

[0185] The horizon line H represents the “intersection” of two planes at infinity. The dual image of H is the line Ĥ connecting {overscore (ω)}_(a) and {overscore (ω)}_(b) and crossing the origin of the (Ω) space. The direction of that line is not only the normal vector of the two planes {overscore (n)}_(a)={overscore (n)}_(b), but also the representative vector {overscore (λ)}_(H) of the projection λ_(H) of H (horizon line) on the image plane (according to proposition 1). Although H is not a well-defined line in Euclidean space (being a line at infinity), under perspective projection, it may give rise to a perfectly well defined line λ_(H) on the image plane (for example a picture of the ocean). Once that line is extracted, the orientation of the plane is known:

{overscore (ω)}_(a)≅{overscore (ω)}_(b)≅{overscore (λ)}_(H)  (2.32)

[0186] Proposition 3—Orthogonal Planes: If two planes Π_(a) and Π_(b) are two orthogonal, then so are their coordinate vectors {overscore (ω)}_(a) and {overscore (ω)}_(b) in dual-space. Consequently, once one of the plane {overscore (ω)}_(a) is known, then {overscore (ω)}_(b) is constrained to lie in the sub-space orthogonal to {overscore (ω)}_(a), a plane in dual-space.

[0187] Proposition 4—Intersecting lines: Consider two lines Λ_(a) and Λ_(b) intersecting at a point P, and call Π the plane that contains them. In dual-space, the two dual lines {circumflex over (Λ)}_(a) and {circumflex over (Λ)}_(b) necessarily intersect at {overscore (ω)} the coordinate vector of Π (since {overscore (ω)} is the plane that contains both lines). Similarly, the dual image {circumflex over (P)} of P is the plane in dual-space that contains both dual lines {circumflex over (Λ)}_(a) and {circumflex over (Λ)}_(b). Notice that {circumflex over (P)} does not cross the origin of (Ω).

[0188] Proposition 5—Parallel lines—Vanishing Point: Consider two parallel lines Λ_(a) and Λ_(b) belonging to the plane Π of coordinates {overscore (ω)}. Then {overscore (ω)} is at the intersection of the two dual lines {circumflex over (Λ)}_(a) and {circumflex over (Λ)}_(b). In dual-space, the plane containing both dual lines {circumflex over (Λ)}_(a) and {circumflex over (Λ)}_(b) is the dual image of {circumflex over (V)} of the vanishing point V, i.e., the intersection point of Λ_(a) and Λ_(b) in Euclidean space. If H is the horizon line associated with Π, then V∈H, which translates in dual-space into Ĥ∈{circumflex over (V)}. Since Ĥ contains the origin, so does {circumflex over (V)}. Notice that once the perspective projection υ of V is observable on the image plane, the plane {circumflex over (V)} is entirely known (since its orientation is the coordinate vector of υ).

[0189] Proposition 6—Orthogonal lines: Let Λ₁ and Λ₂ be two orthogonal lines contained in the plane Π of coordinates {overscore (ω)}) and let {overscore (ω)}={circumflex over (Λ)}₁∩{circumflex over (Λ)}₂. Consider the set of planes orthogonal to Π. In the dual-space, that set is represented by a plane containing the origin, and orthogonal to {overscore (ω)} (see proposition 3). Call that plane {circumflex over (V)} (it can be shown to be the dual image of a vanishing point). In that set, consider the two specific planes Π₁ and Π₂ that contain the lines Λ₁ and Λ₂. In the dual-space, the representative vectors {overscore (ω)}₁ and {overscore (ω)}₂ of those two planes are defined as the respective intersections between {circumflex over (V)} and the two lines {circumflex over (Λ)}₁ and {circumflex over (Λ)}₂. Then, since the two lines Λ₁ and Λ₂ are orthogonal, the two vectors {overscore (ω)}₁ and {overscore (ω)}₂ are also orthogonal. This implies that the images of the two vanishing points {circumflex over (V)}₁ and {circumflex over (V)}₂ associated to the lines Λ₁ and Λ₂ are orthogonal in the dual-space. Two vanishing points are enough to recover the horizon line H associated with a given plane Π in space. Therefore, observing two sets of parallel lines belonging to the same plane under perspective projection allows us to recover the horizon line, and therefore the orientation of the plane in space (from proposition 2). The horizon line H corresponding to the ground floor Π is recovered from the two vanishing points V₁ and V₂.

[0190] 2.2.3 Geometrical problems solved in B-dual-space

[0191] This section presents several useful geometrical problems solved using dual-space geometry.

EXAMPLE 4

[0192] Let Π be a plane in space of coordinate vector {overscore (ω)}. Let P be a point on H with coordinate vector {overscore (X)}=[X Y Z]^(T). Let p be the projection of P onto the image plane, and denote {overscore (x)}≅[x y 1]^(T) its homogeneous coordinate vector. The triangulation problem consists of finding the point P from its projection p and the plane Π, or calculating {overscore (X)} from {overscore (x)} and {overscore (ω)}. Since P lies on the optical ray (O_(c), p), its coordinate vector satisfies {overscore (X)}≅{overscore (x)} or equivalently, {overscore (X)}=Z{overscore (x)}, with {overscore (x)}=[x y 1]^(T). In addition, since P lies on the plane Π, we have <{overscore (ω)}, {overscore (X)}>1. This implies: $\begin{matrix} {Z = {\left. \frac{1}{\langle{\overset{\_}{\omega},\overset{\_}{x}}\rangle}\Rightarrow\overset{\_}{X} \right. = \frac{\overset{\_}{x}}{\langle{\overset{\_}{\omega},\overset{\_}{x}}\rangle}}} & (2.33) \end{matrix}$

[0193] This is the fundamental triangulation equation between a ray and a plane in space.

EXAMPLE 5

[0194] Consider two camera frames

and

′ and let {R, T} be the rigid motion parameters between

and

′. Let Π be a plane in space of coordinate vectors {overscore (ω)} and {overscore (ω)}′ in

and

′ respectively. How do {overscore (ω)} and {overscore (ω)}′ relate to each other?

[0195] Consider a generic point P on Π of coordinate vectors {overscore (X)} and {overscore (X)}′ in

and

′ respectively. Then, {overscore (X)}′=R{overscore (X)}+T. Since P∈Π, we may write:

<{overscore (ω)}′, {overscore (X)}′>=1  (2.34)

<{overscore (ω)}′, R{overscore (X)}+T>=1  (2.35)

<R ^(T) {overscore (ω)}′, {overscore (X)}>=1−<{overscore (ω)}′, T>  (2.36)

[0196] $\begin{matrix} {{\langle{\frac{R^{T}{\overset{\_}{\omega}}^{\prime}}{1 - {\langle{{\overset{\_}{\omega}}^{\prime},T}\rangle}},\overset{\_}{X}}\rangle} = {{1\quad {if}\quad {\langle{{\overset{\_}{\omega}}^{\prime},T}\rangle}} \neq 1}} & (2.37) \end{matrix}$

[0197] Therefore: $\begin{matrix} {\overset{\_}{\omega} = {\frac{R^{T}{\overset{\_}{\omega}}^{\prime}}{1 - {\langle{{\overset{\_}{\omega}}^{\prime},T}\rangle}}.}} & (2.38) \end{matrix}$

[0198] This expression is the equivalent of equation 2.27 in dual-space geometry. Notice that the condition<{overscore (w)}′, T>≠1 is equivalent to enforcing the plane Π not to contain the origin of the first camera reference frame

. That is a necessary condition in order to have a well defined plane vector {overscore (ω)}. The inverse expression may also be derived in a similar way: $\begin{matrix} {{\overset{\_}{\omega}}^{\prime} = {\frac{R\quad \overset{\_}{\omega}}{1 + {\langle{\overset{\_}{\omega},{R^{T}T}}\rangle}}.}} & (2.39) \end{matrix}$

[0199] In that case, the condition <{overscore (ω)}, -R^(T)T>≠1 constraints the plane Π not to contain the origin of the second reference frame

′ (in order to have a well defined vector {overscore (ω)}′).

[0200] In some cases, only one of the two plane vectors {overscore (ω)} or {overscore (ω)}′ is well-defined. The following example is one illustration of such a phenomenon.

EXAMPLE 6

[0201] Consider the geometrical scenario of example 5 where the plane Π is now spanned by a line λ′ on the image plane of the second camera reference frame

′ (after motion). In that case, the coordinate vector {overscore (ω)}′ is not well defined (since by construction, the plane Π contains the origin of

′). However, the plane vector {overscore (ω)} may very well be defined since Π does not necessarily contain the origin of the first reference frame

. Indeed, according to equation 2.29, the homogeneous coordinate vector {overscore (π)} of Π in

is given by: $\begin{matrix} {\overset{\_}{\pi} \simeq \begin{bmatrix} {R^{T}{\overset{\_}{\lambda}}^{\prime}} \\ {\langle{T,{\overset{\_}{\lambda}}^{\prime}}\rangle} \end{bmatrix}} & (2.40) \end{matrix}$

[0202] where {overscore (λ)}′ is homogeneous coordinate vector of the image line λ′ in

′. Then, according to expression 2.31, the corresponding dual-space vector {overscore (ω)} is given by: $\begin{matrix} {\overset{\_}{\omega} = {- \frac{R^{T}{\overset{\_}{\lambda}}^{\prime}}{\langle{T,{\overset{\_}{\lambda}}^{\prime}}\rangle}}} & (2.41) \end{matrix}$

[0203] which is perfectly well-defined as long as Π does not contain O_(c), or equivalently if (T, {overscore (λ)}′)≠0. This condition is equivalent to enforcing the line not to contain the epipole on the image plane attached to camera frame. The point is the projection of onto the image plane attached to the second camera reference frame.

EXAMPLE 7

[0204] triangulation of an optical ray (O_(c), P) with the plane H spanned by the line λ′ in the other camera reference frame

′. Let {overscore (X)}=[X Y Z]^(T) be the coordinates of P in space and {overscore (x)}=[x y 1]^(T) the coordinates of its known projection p on the image plane. Equation 2.41 provides then an expression for the coordinate vector {overscore (ω)} of Π in frame

: $\begin{matrix} {\overset{\_}{\omega} = {- \frac{R^{T}{\overset{\_}{\lambda}}^{\prime}}{\langle{T,{\overset{\_}{\lambda}}^{\prime}}\rangle}}} & (2.42) \end{matrix}$

[0205] where {overscore (λ)}′ is the homogeneous coordinate vector of the image line λ′ in

′. The triangulation expression given by equation 2.40 returns then the final coordinate vector of P: $\begin{matrix} {\overset{\_}{X} = {\frac{\overset{\_}{x}}{\langle{\overset{\_}{\omega},\overset{\_}{x}}\rangle} = \frac{{\langle{T,{\overset{\_}{\lambda}}^{\prime}}\rangle}\overset{\_}{x}}{\langle{{R^{T}{\overset{\_}{\lambda}}^{\prime}},\overset{\_}{x}}\rangle}}} & (2.43) \end{matrix}$

[0206] Observe that the plane Π is not allowed to cross the origin of the initial reference frame

, otherwise, triangulation is impossible. Therefore the plane vector {overscore (ω)} is perfectly well defined (i.e., (T, {overscore (λ)}′)≠0).

[0207] 3.1.1 Camera Calibration in B-dual-space geometry

[0208] The position of a point p in a real image is originally expressed in pixel units. One can only say that a point p is at the intersection of column p_(x)=150 and row p_(y)=50 on a given digitized image. So far, we have been denoting {overscore (x)}=[x y 1]^(T) the homogeneous coordinate vector of a generic point p on the image plane. This vector (also called normalized coordinate vector) is directly related to the 3D coordinates {overscore (X)}=[X Y Z]^(T) of the corresponding point P is space through the perspective projection operator (eq. 2.2). Since in practice we only have access to pixel coordinates {overscore (p)}=[p_(x) p_(y) 1]^(T), we need to establish a correspondence between {overscore (p)} and {overscore (x)} (from pixel coordinates to optical ray in space).

[0209] Since the origin of the image reference frame is at the optical center c (or principal point), it is necessary to know the location of that point in the image: {overscore (c)}=[c_(x) c_(y)]^(T) (in pixels). Let ƒ_(o) be the focal distance (in meters) of the camera optics (distance of the lens focal point to the imaging sensor), and denote by d_(x) and d_(y) the x and y dimensions of the pixels in the imaging sensor (in meters). Let ƒ_(x)=ƒ_(o)/d_(x) and ƒ_(y)=ƒ_(o)/d_(y) (in pixels). Notice that for most imaging sensors currently manufactured, pixels may be assumed perfectly square, implying d_(x)=d_(y) or equivalently ƒ_(z)=ƒ_(y). In the general case ƒ_(x) and ƒ_(y) may be different.

[0210] Then, the pixel coordinates {overscore (p)}=[p_(x) p_(y) 1]^(T) of a point on the image may be computed from its normalized homogeneous coordinates {overscore (x)}=[x y 1]^(T) through the following expression: $\begin{matrix} \left\{ \begin{matrix} {p_{x} = {{f_{x}x} + c_{x}}} \\ {p_{y} = {{f_{y}y} + c_{y}}} \end{matrix} \right. & (3.1) \end{matrix}$

[0211] That model assumes that the two axes of the imaging sensor are orthogonal. In the case where they are not orthogonal, the pixel mapping function may be generalized to: $\begin{matrix} \left\{ \begin{matrix} {p_{x} = {{f_{x}x} - {\alpha \quad f_{y}y} + c_{x}}} \\ {p_{y} = {{f_{y}y} + c_{y}}} \end{matrix} \right. & (3.2) \end{matrix}$

[0212] where α is a scalar coefficient that controls the amount of skew between the two main sensor axes (if α=0, there is no skew). For now, let us consider the simple model without skew (equation 3.1). If p is the image projection of the point P in space (of coordinates {overscore (X)}=[X Y Z]^(T)) , the global projection map may be written in pixel units: $\begin{matrix} \left\{ \begin{matrix} {p_{x} = {{f_{x}\left( {X/Z} \right)} + c_{x}}} \\ {p_{y} = {{f_{y}\left( {Y/Z} \right)} + c_{y}}} \end{matrix} \right. & (3.3) \end{matrix}$

[0213] This equation returns the coordinates of a point projected onto the image (in pixels) in the case of an ideal pinhole camera. Real cameras do not have pinholes, but lenses. Unfortunately a lens will introduce some amount of distortion (also called aberration) in the image. That makes the projected point to appear at a slightly different position on the image. The following expression is a simple first-order model that captures the distortions introduced by the lens: $\begin{matrix} \left\{ \begin{matrix} {\overset{\_}{a} = {\begin{bmatrix} {X/Z} \\ {Y/Z} \end{bmatrix} = \begin{bmatrix} x \\ y \end{bmatrix}}} & {{pinhole}\quad {projection}} \\ {\overset{\_}{b} = {\begin{bmatrix} b_{x} \\ b_{y} \end{bmatrix} = {\overset{\_}{x}\left( {1 + {k_{c}{\overset{\_}{a}}^{2}}} \right)}}} & {{radial}\quad {distortion}} \\ {\overset{\_}{p} = {\begin{bmatrix} p_{x} \\ p_{y} \end{bmatrix} = \begin{bmatrix} {{f_{x}b_{x}} + c_{x}} \\ {{f_{y}b_{y}} + c_{y}} \end{bmatrix}}} & {{pixel}\quad {coordinates}} \end{matrix} \right. & \text{(3.4)} \end{matrix}$

[0214] where k_(c) is called the radial distortion factor. This model is also called first-order symmetric radial distortion model (“symmetric” because the amount of distortion is directly related to the distance of the point to the optical center c). Observe that the systems (3.4) and (3.3) are equivalent when k_(c)=0 (no distortion).

[0215] Therefore, if the position of the point P is known in camera reference frame, one may calculate its projection onto the image plane given the intrinsic camera parameters ƒ_(x), ƒ_(y), c_(x), c_(y) and k_(c). That is known as the direct projection operation and may be denoted {overscore (p)}=Π({overscore (X)}). However, most 3D vision applications require to solve the “inverse problem” that is mapping pixel coordinates {overscore (p)} to 3D world coordinates [X Y Z]^(T). In particular, one necessary step is to compute normalized image coordinates {overscore (x)}=[x y 1]^(T) (3D ray direction) from pixel coordinates {overscore (p)} (refer to equation 3.4). The only non-trivial aspect of that inverse map computation is in computing the vector {overscore (a)} from {overscore (b)}. This is the distortion compensation step. It may be shown that for relatively small distortions, this inverse map may be very well approximated by the following equation: $\begin{matrix} {\overset{\_}{a} \approx \frac{\overset{\_}{b}}{1 + {k_{c}{\frac{\overset{\_}{b}}{{{1 + {k_{c}{\overset{\_}{b}}}}}^{2}}}^{2}}}} & (3.5) \end{matrix}$

[0216] Experimentally, this expression is sufficiently accurate.

[0217] Camera calibration

[0218] The camera calibration procedure identifies the intrinsic camera parameters ƒ_(x), ƒ_(y), c_(x), c_(y) and k_(c) and possibly α). A standard method is to acquire an image a known 3D object (a checker board pattern, a box with known geometry . . . ) and look for the set of parameters that best match the computed projection of the structure with the observed projection on the image. The reference object is also called calibration ring. Since the camera parameters are inferred from image measurements, this approach is also called visual calibration. This technique was originally presented by Tsai and Brown. An algorithm for estimation was proposed by Abdel-Aziz and Karara (for an overview on camera calibration, the reader may also refer to the book Klette, Schluns and Koschan).

[0219]FIGS. 4A and 4B show two examples of calibration images when using a planar rig (checker board pattern). FIG. 5 shows a 3D rig (two orthogonal checker board patterns).

[0220] Note that although the geometry of the calibration rig is known (i.e., the mutual position of the grid corners in space), its absolute location with respect to the camera is unknown. In other words, the pose of the calibration pattern in unknown. Therefore, before applying the set of equations (3.4) to compute the image projection of every corner in the structure, one needs to find their 3D coordinates in the camera reference frame. We first choose a reference frame attached to the rig (called the object frame) in which we express the known coordinates {overscore (X)}_(o) ^(i) of all the corners P_(i), (i=1 . . . N). This set of vectors is known since the intrinsic rig structure is known. Then, the coordinate vector {overscore (X)}_(c) ^(i) in the camera frame is related {overscore (X)}_(o) ^(i) through a rigid motion transformation:

∀i=1, . . . , N, {overscore (X)} _(c) ′=R _(c) {overscore (X)} _(o) ^(i) +T _(c)  (3.6)

[0221] where R_(c) and T_(c) define the pose of the calibration rig with respect to the camera (similarly to equation 2.13). See FIG. 3.2.

[0222] Notice that by adding the calibration object in the scene, more unknowns have been added to the problem: R_(c) and T_(c). Those parameters are called extrinsic camera parameters since they are dependent upon the pose of the calibration pattern with respect to the camera (unlike the intrinsic parameters that remain constant as the rig is moved in front of the camera).

[0223] Let {overscore (Ω)}_(c) be the rotation vector associated to the rotation matrix R_(c) (see equation 2.13). Then, the complete set of unknowns to solve for is:

[0224] Focal length: ƒ_(x), ƒ_(y) (2 DOF),

[0225] Principal point coordinates: c_(x), c_(y) (2 DOF),

[0226] Radial distortion factor: k_(c) (1 DOF),

[0227] Calibration rig pose: {overscore (Ω)}_(c), T_(c) (6 DOF).

[0228] Therefore, the global calibration problem consists of solving for a total of 11 scalar parameters (adding the skew coefficient α would bring the number of unknowns to 12).

[0229] Let p_(i)(i=1, . . . , N) be the observed image projections of the rig points P_(i) and let {overscore (p)}_(i)=[p_(x) ^(i) p_(y) ^(i)]^(T) be their respective pixel coordinates. Experimentally, the points p_(i) are detected using the standard Harris corner finders.

[0230] The estimation process finds the set of calibration unknowns (extrinsic and intrinsic) that minimizes the reprojection error. Therefore, the solution to that problem may be written as follows: $\begin{matrix} {\left\{ {f_{x},f_{y},c_{x},c_{y},k_{c},{\overset{\_}{\Omega}}_{c},T_{c}} \right\} = {{Argmin}{\sum\limits_{i = 1}^{N}{{{\overset{\_}{p}}_{i} - {{\Pi\left( {{R_{c}{\overset{\_}{X}}_{o}^{i}} + T_{c}} \right.}}^{2}}}}}} & (3.7) \end{matrix}$

[0231] where R_(c)=e^({overscore (Ω)}Λ),Π(.) is the image projection operator defined in equation 3.4 (function of the intrinsic parameters ƒ_(x), ƒ_(y), c_(x), c_(y) and k_(c)) and ∥.∥ is the standard distance norm is pixel units. This non-linear optimization problem may be solved using standard gradient descent techniques. However, it is required to have a good initial guess before starting the iterative refinement. a method to derive closed form expressions for calibration parameters that may be used for initialization is presented.

[0232] Apart from numerical implementation details, it is also important to study the observability of the model. In other words, under which conditions (type of the calibration rig and its position in space) can the full camera model (eq. 3.4) be estimated from a single image projection. For example, it is worth noticing that if the calibration rig is planar (as shown on FIG. 3.1-a) the optical center c cannot be estimated (the two coordinates c_(x) and c_(y)). Therefore, in such cases, it is necessary to reduce the camera model to fewer intrinsic parameters and fix the optical center in the center of the image. Further discussions on the camera model observability are presented.

[0233] Closed-form solution in B-dual-space

[0234] geometry

[0235] This section demonstrates how one may easily retrieve closed-form expressions for intrinsic and extrinsic camera parameters using the dual-space formalism as a fundamental mathematical tool. The method is based on using vanishing points and vanishing lines. The concept of using vanishing points for camera calibration is not new (most of the related work on this topic may probably be found in the art. Therefore, this does not to state new concepts or theories on calibration, but rather illustrate the convenience of the dual-space formalism by applying it to the problem of calibration. We show here that this formalism enables us to keep the algebra simple and compact while exploiting all the geometrical constraints present in the scene (in the calibration rig). That will also lead us to derive properties regarding the observability of several camera models under different geometrical configuration of the setup, and types of calibration rig used (2D or 3D). Most related work on that topic only deal with simple camera model (unique focal length) and extract the extrinsic parameters through complex 3D parameterization (using Euler angles). Other standard methods for deriving explicit solutions for camera calibration were presented by Abdel-Aziz and Karara and Tsai. These methods are based on estimating, in a semi-linear way, a set of parameters that is larger than the real original set of unknowns and do not explicitly make use of all geometrical properties of the calibration rig.

[0236] The method that we disclose here involves very compact algebra, uses intuitive and minimal parameterizations, and naturally allows to exploit all geometrical properties present in the observed three-dimensional scene (calibration rig). In addition, our approach may be directly applied to natural images that do not contain a special calibration grid (such as pictures of buildings, walls, furniture . . . ).

[0237] Once it is computed, the closed-form solution is then fed to the non-linear iterative optimizer as an initial guess for the calibration parameters. This final optimization algorithm is inspired from the method originally presented by Tsai including lens distortion (see equation 3.7). The purpose of that analysis is to provide a good initial guess to the non-linear optimizer, to better insure convergence, and check for the consistency of the results.

[0238] We will first consider the case of a calibration when using a planar rig (a 2D grid), and then generalize the results to 3D rigs (such as a cube). In those two cases, different camera models will be used.

[0239] 3.2.1. When using a planar calibration rig

[0240] Consider the calibration image shown in FIG. 4A. Assuming no lens distortion (k_(c)=0) and no image noise, the grid may be summarized by its four extreme corners on the image (intuitively, one may localize all the inside grid corners from those four points by simple perspective warping). In practice, all points will be used in order to be less sensitive to image noise, however the principle remains the same. Then, the basic observed pattern is a perspective view of a rectangle of known dimensions L×W . Without loss of generality, we can also assume that this rectangle is a square. The reason for that is that through a similar perspective image warping, it is always possible to convert a perspective view of a rectangle into a perspective view of a square, given that the dimensions of the original rectangle are known (actually, only the ratio W/L is necessary).

[0241]FIG. 15 shows a perspective image of a square ABCD. The four points {overscore (x)}₁, {overscore (x)}₂, {overscore (x)}₃, and {overscore (x)}₄ are the coordinate vectors of the detected corners of the square on the image plane after normalization. This means that the {overscore (x)} vectors are computed from the pixel coordinates of the points after subtraction of the optical center coordinates (c_(x), c_(y)) (in pixel) and scaling by the inverse of the focal length (in pixel as well). To model the aspect ration in x and y, one can assume two distinct focal lengths ƒ_(x) and ƒ_(y) in both image directions (to account for non-square CCD pixels).

[0242] In the case of calibration from planar rigs, it is known that the optical center position (c_(x), c_(y)) cannot be estimated. Therefore, we will keep it fixed at the center of the image, and take it out of the set of unknowns. The resulting intrinsic parameters to be estimated are therefore ƒ_(x) and ƒ_(y). Let {overscore (p)}_(i)≅[p_(x) _(i) p_(y) _(i) 1]^(T) (i=1, . . . , 4) be the pixel locations of the corners after subtraction of the optical center (in homogeneous coordinates). Then one can extract the {overscore (x)} vectors through a linear operation involving the focal lengths ƒ_(x) and ƒ_(y): for i=1, . . . , 4, $\begin{matrix} {{{\overset{\_}{x}}_{z} \simeq {\begin{bmatrix} {1/f_{x}} & 0 & 0 \\ 0 & {1/f_{y}} & 0 \\ 0 & 0 & 1 \end{bmatrix}{\overset{\_}{p}}_{z}}} = {K\quad {\overset{\_}{p}}_{z}}} & (3.8) \end{matrix}$

[0243] where K is the intrinsic camera matrix containing the intrinsic parameters (ƒ_(x) and ƒ_(y)) . Let us now extract the set of independent constraints attached to the observation in order to estimate the focal lengths (hence the camera matrix K).

[0244]FIG. 15 shows the set of corner points {overscore (x)}_(i) on the image plane. Following proposition 5 of section 2.2.2, lines {overscore (λ)}_(i)(i=1, . . . , 4) are used to infer the two vanishing points V₁ and V₂ in order to recover the projection {overscore (λ)}_(H) of the horizon line H associated to the plane Π_(d). The derivation is as follows: $\begin{matrix} {{\left. \begin{matrix} {{\left. \begin{matrix} {{\overset{\_}{\lambda}}_{1} \simeq {{\overset{\_}{x}}_{1} \times {\overset{\_}{x}}_{2}}} \\ {{\overset{\_}{\lambda}}_{2} \simeq {{\overset{\_}{x}}_{3} \times {\overset{\_}{x}}_{4}}} \end{matrix} \right\} V_{1}} \simeq {{\overset{\_}{\lambda}}_{1} \times {\overset{\_}{\lambda}}_{2}}} \\ {{\left. \begin{matrix} {{\overset{\_}{\lambda}}_{3} \simeq {{\overset{\_}{x}}_{2} \times {\overset{\_}{x}}_{3}}} \\ {{\overset{\_}{\lambda}}_{4} \simeq {{\overset{\_}{x}}_{4} \times {\overset{\_}{x}}_{1}}} \end{matrix} \right\} V_{2}} \simeq {{\overset{\_}{\lambda}}_{3} \times {\overset{\_}{\lambda}}_{4}}} \end{matrix} \right\} {\overset{\_}{\lambda}}_{H}} \simeq {V_{1} \times V_{2}}} & (3.9) \end{matrix}$

[0245] where x is the standard vector product in

³. Notice that in order to keep the notation clear, we abusively used V₁ and V₂ to refer to the homogeneous coordinates of the vanishing points on the image plane (quantities similar to the {overscore (x)}_(i)'s using homogeneous coordinates). It is important to keep in mind that all equalities are defined “up to scale.” For example, any vector proportional to {overscore (x)}₁×{overscore (x)}₁ would be a good representative for the same line {overscore (λ)}₁. The same observation holds for the coordinate vectors of the vanishing points and that of the horizon line.

[0246] Yet, the normalized coordinates {overscore (x)}_(i) of the corners are not directly available, only the pixel coordinates {overscore (p)}_(i). However, all {overscore (x)}_(i)'s can be retrieved from the {overscore (p)}_(i)'s through the linear equation 3.8. We will use of the following statement whose proof may be found in [30]:

[0247] Claim 1: Let K be any 3×3 matrix, and {overscore (u)} and {overscore (υ)} any two 3-vectors. Then the following relation holds:

(K{overscore (u)})×(K{overscore (υ)})=K*({overscore (u)}×{overscore (υ)})

[0248] where K* is the adjoint of K (or the matrix of cofactors of K) . Note that if K is invertible (which is the case here), then K*=det(K)(K^(T))⁻¹, and consequently K**∝K.

[0249] Using that claim, the camera matrix K (or K*) may be factored out of the successive vector products of equations 3.9, yielding: ${{\left. \begin{matrix} {{\left. \begin{matrix} {{\overset{\_}{\lambda}}_{1} \simeq {K^{*}{\overset{\_}{\lambda}}_{1}^{p}}} \\ {{\overset{\_}{\lambda}}_{2} \simeq {K^{*}{\overset{\_}{\lambda}}_{2}^{p}}} \end{matrix} \right\} V_{1}} \simeq {KV}_{1}^{p}} \\ {{\left. \begin{matrix} {{\overset{\_}{\lambda}}_{3} \simeq {K^{*}{\overset{\_}{\lambda}}_{3}^{p}}} \\ {{\overset{\_}{\lambda}}_{4} \simeq {K^{*}{\overset{\_}{\lambda}}_{4}^{p}}} \end{matrix} \right\} V_{2}} \simeq {KV}_{2}^{p}} \end{matrix} \right\} {\overset{\_}{\lambda}}_{H}} \simeq {K^{*}{\overset{\_}{\lambda}}_{H}^{p}}},$

[0250] where {overscore (λ)}₁ ^(p), {overscore (λ)}₂ ^(p), {overscore (λ)}₃ ^(p), {overscore (λ)}₄ ^(p), V₁ ^(p), V₂ ^(p) and {overscore (λ)}_(H) ^(p) are line and point coordinate vectors on the image plane in pixel (directly computed from the pixel coordinates {overscore (p)}₁, {overscore (p)}₂, {overscore (p)}₃ and {overscore (p)}₄): ${\left. \begin{matrix} {{\left. \begin{matrix} {{\overset{\_}{\lambda}}_{1}^{p} \simeq {{\overset{\_}{p}}_{1} \times {\overset{\_}{p}}_{2}}} \\ {{\overset{\_}{\lambda}}_{2}^{p\quad} \simeq {{\overset{\_}{p}}_{3} \times {\overset{\_}{p}}_{4}}} \end{matrix} \right\} V_{1}^{p}} \simeq {{\overset{\_}{\lambda}}_{1}^{p} \times {\overset{\_}{\lambda}}_{2}^{p}}} \\ {{\left. \begin{matrix} {{\overset{\_}{\lambda}}_{3}^{p} \simeq {{\overset{\_}{p}}_{2} \times {\overset{\_}{p}}_{3}}} \\ {{\overset{\_}{\lambda}}_{4}^{p} \simeq {{\overset{\_}{p}}_{4} \times {\overset{\_}{p}}_{1}}} \end{matrix} \right\} V_{2}^{p}} \simeq {{\overset{\_}{\lambda}}_{3}^{p} \times {\overset{\_}{\lambda}}_{4}^{p}}} \end{matrix} \right\} {\overset{\_}{\lambda}}_{H}^{p}} \simeq {V_{1}^{p} \times V_{2}^{p}}$

[0251] The step of inferring the vanishing points V₁ and V₂ from the pairs of lines {{overscore (λ)}₁, {overscore (λ)}₂} and {{overscore (λ)}₃, {overscore (λ)}₄} made use of the fact that ABCD is a parallelogram (proposition 5). Using proposition 6 (in section 2.2.2), one naturally enforce orthogonality of the pattern by stating that the two vanishing points V₁ and V₂ are mutually orthogonal (see FIG. 2.11):

V ₁ ⊥V ₂

(KV ₁ ^(p))⊥(KV ₂ ^(p))

(V ₁ ^(p))^(T)(K ^(T) K) (V ₂ ^(p))=0  (3.10)

[0252] That provides one scalar constraint in the focal lengths ƒ_(x) and ƒ_(y): $\begin{matrix} {{\frac{a_{1}a_{2}}{f_{x}^{2}} + \frac{b_{1}b_{2}}{f_{y}^{2}} + {c_{1}c_{2}}} = 0} & (3.11) \end{matrix}$

[0253] where a₁, a₂, b₁, b₂, c₁ and c₃ are the known pixel coordinates of the vanishing points V₁ ^(p) and V₂ ^(p): V₁ ^(p)≅[a₁ b₁ c₁]^(T) and V₂ ^(p)≅[a₂ b₂ c₂]^(T). Notice that equation 3.11 constraints the two square focals (ƒ_(x) ², ƒ_(y) ²) to lie on a fixed hyperbola. Finally, the parallelogram ABCD is not only a rectangle, but also a square. This means that its diagonals (AC) and (BD) are also orthogonal (see FIG. 15). This constraint is exploited by enforcing the two vanishing points attached to the diagonal V₃ and V₄ to be mutually orthogonal (proposition 6). Those points are extracted from intersecting the two diagonal lines {overscore (λ)}₅ and {overscore (λ)}₆ with the horizon line {overscore (λ)}_(H) (see FIG. 15). Following the same process of factoring the K matrix (or K*) out of every successive vector product, one obtains:

{overscore (λ)}₅≅K*λ₅ ^(p)

V₃≅KV₃ ^(p)

{overscore (λ)}₆≅K*λ₆ ^(p)

V₄≅KV₄ ^(p)

[0254] where V₃ ^(p) and V₄ ^(p) are the two pixel coordinates of the vanishing points V₃ and V₄ (pre-computed from the pixel coordinates of the corner points):

{overscore (λ)}₅ ^(p)≅{overscore (p)}₁×{overscore (p)}₃

V₃ ^(p)≅{overscore (λ)}₅ ^(p)×{overscore (λ)}_(H) ^(p)

{overscore (λ)}₆ ^(p)≅{overscore (p)}₂×{overscore (p)}₄

V₄ ^(p)≅{overscore (λ)}₆ ^(p)×{overscore (λ)}_(H) ^(p)

[0255] Then, the orthogonality of V₃ and V₄ yields (V₃ ^(p))^(T) (K^(T)K) (V₄ ^(p))=0, or: $\begin{matrix} {{\frac{a_{3}a_{4}}{f_{x}^{2}} + \frac{b_{3}b_{4}}{f_{y}^{2}} + {c_{3}c_{4}}} = 0} & (3.12) \end{matrix}$

[0256] where a₃, a₄, b₃, b₄, C₃ and c₄ are the known pixel coordinates of V₃ ^(p) and V₄ ^(p): V₃ ^(p)≅[a₃ b₃ c₃]^(T) and V₄ ^(p)≅[a₄ b₄ c₄]^(T). This constitutes a second constraint on ƒ_(x) and ƒ_(y) (a second hyperbola in the (ƒ_(x) ², ƒ_(y) ²) plane), which can be written together with equation 3.11 in a form of a linear equation in {overscore (u)}=[u₁ u₂]^(T)=[1/ƒ_(x) ² 1/ƒ_(y) ²]^(T): ${\quad \overset{\_}{u}} = {{\overset{\_}{b}\quad {with}\quad } = {{\begin{bmatrix} {a_{1}a_{2}} & {b_{1}b_{2}} \\ {a_{3}a_{4}} & {b_{3}b_{4}} \end{bmatrix}\quad {and}\quad \overset{\_}{b}} = {- \begin{bmatrix} {c_{1}c_{2}} \\ {c_{3}c_{4}} \end{bmatrix}}}}$

[0257] If

is invertible, then both focals ƒ_(x) and ƒ_(y) may be recovered explicitly: $\overset{\_}{u} = {\begin{bmatrix} {1/f_{x}^{2}} \\ {1/f_{y}^{2}} \end{bmatrix} = \left. {^{- 1}\overset{\_}{b}}\Rightarrow\left\{ {{\begin{matrix} {f_{x} = \sqrt{1/u_{1}}} \\ {f_{y} = \sqrt{1/u_{2}}} \end{matrix}\text{or:}f_{x}} = {\sqrt{\frac{{a_{1}a_{2}b_{3}b_{4}} - {a_{3}a_{4}b_{1}b_{2}}}{{b_{1}b_{2}c_{3}c_{4}} - {b_{3}b_{4}c_{1}c_{2}}}}{f_{y} = \sqrt{\frac{{a_{1}a_{2}b_{3}b_{4}} - {a_{3}a_{4}b_{1}b_{2}}}{{a_{3}a_{4}c_{1}c_{2}} - {a_{1}a_{2}c_{3}c_{4}}}}}}} \right. \right.}$

[0258] under the condition u₁>0 and u₂>0.

[0259] If

is not invertible (or a₁a₂b₃b₄−a₃a₄b₁b₂=0), then both focals (ƒ_(x), ƒ_(y)) cannot be recovered. However, if

is of rank one (i.e. it is not the zero matrix), then a single focal length model ƒ_(c)=ƒ_(x)=ƒ_(y) may be used. The following claim gives a necessary and sufficient condition for

to be rank one:

[0260] Claim 2: The matrix

is rank one if and only if the projection {overscore (λ)}_(H) of the horizon line is parallel to either the x or y axis on the image plane (its first or second coordinate is zero, not both), or crosses the origin on the image plane (its last coordinate is zero). Since the matrix K is diagonal, this condition also applies to the horizon line in pixel coordinates {overscore (λ)}_(H) ^(p).

[0261] Corollary: Since {overscore (λ)}_(H) is proportional to the surface normal vector {overscore (n)}_(h) (from proposition 2 in section 2.2.2), this degeneracy condition only depends upon the 3D orientation of the plane Π_(h) with respect to the camera, and not the way the calibration grid is positioned onto it (this is intrinsic to the geometry of the setup).

[0262] In such a rank-one degenerate case, the reduced focal model is acceptable. Then both constraint equations 3.11 and 3.12 may be written as a function of a unique focal ƒ_(c) and follows: ${\begin{bmatrix} {c_{1}c_{2}} \\ {c_{3}c_{4}} \end{bmatrix}f_{c}^{2}} = {- \begin{bmatrix} {{a_{1}a_{2}} + {b_{1}b_{2}}} \\ {{a_{3}a_{4}} + {b_{3}b_{4}}} \end{bmatrix}}$

[0263] which may be solved in a least squares fashion, yielding the following solution: $\begin{matrix} {f_{c} = {f_{x} = {f_{y} = \sqrt{- \frac{{c_{1}{c_{2}\left( {{a_{1}a_{2}} + {b_{1}b_{2}}} \right)}} + {c_{3}{c_{4}\left( {{a_{3}a_{4}} + {b_{3}b_{4}}} \right)}}}{{c_{1}^{2}c_{2}^{2}} + {c_{3}^{2}c_{4}^{2}}}}}}} & (3.13) \end{matrix}$

[0264] Alternative estimates may be derived by directly solving for either one of the constraint equations (3.11 or 3.12) taking ƒ_(x)=ƒ_(y)=ƒ_(c). This may be more appropriate in the case where one of the four vanishing points V_(k) is at infinity (corresponding to c_(k)=0). It is then better to drop the associate constraint and only consider the remaining one (remark: having a vanishing point at infinity does not necessarily mean that the matrix

is singular). Since the vector {overscore (λ)}_(H) is parallel to the normal vector {overscore (n)}_(h) of the ground plane Π_(h), this rank-one degeneracy case corresponds to having one of the camera axis X_(c), Y_(c) or Z_(c) parallel to the calibration plane Π_(h).

[0265] Note that if two vanishing points are at infinity, then the projection of the entire horizon line, {overscore (λ)}_(H) is also at infinity on the image plane (its two first coordinates are zero). This occurs only when the calibration plane Π_(h) is strictly parallel to the image plane (or {overscore (n)}_(h)=[0 0 1]^(T)), which is known to be a degenerate case where there exists no solution for calibration.

[0266] In the case where the planar pattern is a rectangle, but not necessarily a square (or equivalently, the aspect ratio of the rectangle is not known), then the diagonal constraint is not available (equation 3.12). In that case, only equation 3.11 is available to estimate focal length. It is therefore necessary to use a reduced single focal model ƒ_(c)=ƒ_(x)=ƒ_(x): $\begin{matrix} {f_{c} = {f_{x} = {f_{y} = \sqrt{- \frac{{a_{1}a_{2}} + {b_{1}b_{2}}}{c_{1}c_{2}}}}}} & (3.14) \end{matrix}$

[0267] This expression will be used in a calibration experiment illustrated in FIG. 3.5.

[0268] Once the camera matrix K is estimated, the normalized horizon vector {overscore (λ)}_(H)≅K*{overscore (λ)}_(H) ^(p) may be recovered. From proposition 2, this vector is known to be proportional to the coordinate vector {overscore (ω)}_(h) of Π_(h) (or its normal vector {overscore (n)}_(h)). Therefore, this directly provides the orientation in 3D space of the ground plane. The only quantity left to estimate is then its absolute distance d_(h) to the camera center, or equivalently the norm ∥{overscore (ω)}_(h)∥=1/d_(h). This step may be achieved by making use of the known area of the square ABCD and applying an inverse perspective projection on it (possible since the orientation of Π_(h) is known).

[0269] Implementation details: In principle, only the four extreme corners of the rectangular pattern are necessary to localize the four vanishing points V₁ ^(p), V₂ ^(p), V₃ ^(p), and V₄ ^(p). However, in order to be less sensitive to pixel noise, it is better in practice to make use of all the detected corners on the grid (points extracted using the Harris corner finder). This aspect is especially important given that vanishing point extraction is known to be very sensitive to noise in the corner point coordinates (depending on amount of depth perspective in the image). One possible approach is to fit a set of horizontal and vertical lines to the pattern points, and then recover the two vanishing points V₁ ^(p), V₂ ^(p) by intersecting them in a least squares fashion. Once these two points are extracted, the position of the extreme corners of the rectangular pattern may be corrected by enforcing the four extreme edges of the grid to go through those vanishing points. The next step consists of warping the perspective view of the rectangle into a perspective view of a square (making use of the known aspect ration of the original rectangle). The two remaining vanishing points V₃ ^(p) and V₄ ^(p) may then be localized by intersecting the two diagonals of this square with the horizon line {overscore (λ)}_(H) ^(p) connecting V₁ ^(p) and V₂ ^(p). Once those four points are extracted, the focal length may be estimated, together with the plane coordinate vector {overscore (ω)}_(h) following the method described earlier (using a one or two focal model).

[0270] When using a 3D calibration rig

[0271] Let us generalize the results to the case where a 3D rig of the type in FIG. 5 is used for calibration. FIG. 16 shows a perspective view of a cube in 3D. From that image, one may extract seven vanishing points V₁, V₂, . . . V₇. Similarly to the case of a planar square, this set of points must satisfy five orthogonality properties: V₁⊥V₂, V₁⊥V₃, V₂⊥V₃, V₄⊥V₅ and V₆⊥V₇. Then, similarly to equation 3.10, we can write a set of five scalar constraints on the pixel coordinates of the vanishing points: $\begin{matrix} \left\{ \begin{matrix} {\left. {V_{1}\bot V_{2}}\Rightarrow{\left( V_{1}^{p} \right)^{T}\left( {K^{T}K} \right)\quad \left( V_{2}^{p} \right)} \right. = 0} \\ {\left. {V_{1}\bot V_{3}}\Rightarrow{\left( V_{1}^{p} \right)^{T}\left( {K^{T}K} \right)\quad \left( V_{3}^{p} \right)} \right. = 0} \\ {\left. {V_{2}\bot V_{3}}\Rightarrow{\left( V_{2}^{p} \right)^{T}\left( {K^{T}K} \right)\quad \left( V_{3}^{p} \right)} \right. = 0} \\ {\left. {V_{4}\bot V_{5}}\Rightarrow{\left( V_{4}^{p} \right)^{T}\left( {K^{T}K} \right)\quad \left( V_{5}^{p} \right)} \right. = 0} \\ {\left. {V_{6}\bot V_{7}}\Rightarrow{\left( V_{6}^{p} \right)^{T}\left( {K^{T}K} \right)\quad \left( V_{7}^{p} \right)} \right. = 0} \end{matrix} \right. & (3.15) \end{matrix}$

[0272] Where K is the intrinsic camera matrix and V_(i) ^(p)≅[a_(i) b_(i) c_(i)]^(T) (i=1, . . . ,7) are the pixel coordinate vectors of the vanishing points (see FIG. 16). Note that the first three constraints in (3.15) enforce mutual orthogonality of the faces of the cube, whereas the last two force the left and fight faces (and therefore all the others) to be squares.

[0273] Given those five independent constraints, one should be able to estimate a full 5 degrees of freedom (DOF) camera model for metric calibration including two focal lengths (ƒ_(x) and ƒ_(y) in pixels), the optical center coordinates (c_(x) and c_(y) in pixels) and the skew factor α (see equation 3.2). In that case, the intrinsic camera matrix K takes its most general form [31]: $K = \begin{bmatrix} {1/f_{x}} & {\alpha/f_{x}} & {{- c}/f_{x}} \\ 0 & {1/f_{y}} & {{- c_{y}}/f_{y}} \\ 0 & 0 & 1 \end{bmatrix}$

[0274] This model matches precisely the notation introduced in equation (3.2). Then, the semi-positive definite matrix K^(T) K may be written as follows: $\begin{matrix} {{K^{T}K} = {\frac{1}{f_{x}^{2}}\begin{bmatrix} 1 & \alpha & {- c_{x}} \\ \alpha & {a^{2} + \left( {f_{x}/f_{y}} \right)^{2}} & {{{- \alpha}\quad c_{x}} - {c_{y}\left( {f_{x}/f_{y}} \right)}^{2}} \\ {- c_{x}} & {{{- \alpha}\quad c_{x}} - {c_{y}\left( {f_{x}/f_{y}} \right)}^{2}} & {f_{x}^{2} + c_{x}^{2} + {c_{y}^{2}\left( {f_{x}/f_{y}} \right)}^{2}} \end{bmatrix}}} & (3.16) \\ {\quad {= {\frac{1}{f_{x}^{2}}\begin{bmatrix} 1 & u_{5} & {- u_{3}} \\ u_{5} & u_{2} & {- u_{4}} \\ {- u_{3}} & {- u_{4}} & u_{1} \end{bmatrix}}}\quad} & (3.17) \end{matrix}$

[0275] Notice that the vanishing point constraints (3.15) are homogeneous. Therefore, one can substitute K^(T) K by its proportional matrix ƒ_(x) ² K^(T) K. Doing so, the five constraints listed in equation 3.15 are linear in the vector {overscore (u)}=[u₁ . . . u₅]^(T). Indeed, for (i, j)∈{(1,2), (1,3), (2,3), (4,5), (6,7)}, we have:

[−c _(i) c _(j) −b _(i) b _(j) (a _(i) c _(j) +a _(j) c _(i)) (b _(i) c _(j) +b _(j) c _(i))−(a _(i) b _(j) +a _(j) b _(i))]{overscore (u)}=a _(i) a _(j),  (3.18)

[0276] Therefore, this set of 5 equations may be written in a form of a linear system of 5 equations in variable {overscore (u)}:

{overscore (u)}={overscore (b)}  (3.19)

[0277] where

is a 5×5 matrix, and {overscore (b)} a 5-vector: ${ = \begin{bmatrix} {{- c_{1}}c_{2}} & {b_{1}b_{2}} & \left( {{a_{1}c_{2}} + {a_{2}c_{1}}} \right) & \left( {{b_{1}c_{2}} + {b_{2}c_{1}}} \right) & {- \left( {{a_{1}b_{2}} + {a_{2}b_{1}}} \right)} \\ {{- c_{1}}c_{3}} & {b_{1}b_{3}} & \left( {{a_{1}c_{3}} + {a_{3}c_{1}}} \right) & \left( {{b_{1}c_{3}} + {b_{3}c_{1}}} \right) & {- \left( {{a_{1}b_{3}} + {a_{3}b_{1}}} \right)} \\ {{- c_{2}}c_{3}} & {b_{2}b_{3}} & \left( {{a_{2}c_{3}} + {a_{3}c_{2}}} \right) & \left( {{b_{2}c_{3}} + {b_{3}c_{2}}} \right) & {- \left( {{a_{2}b_{3}} + {a_{3}b_{2}}} \right)} \\ {{- c_{4}}c_{5}} & {b_{4}b_{5}} & \left( {{a_{4}c_{5}} + {a_{5}c_{4}}} \right) & \left( {{b_{4}c_{5}} + {b_{5}c_{4}}} \right) & {- \left( {{a_{4}b_{5}} + {a_{5}b_{4}}} \right)} \\ {{- c_{6}}c_{7}} & {b_{6}b_{7}} & \left( {{a_{6}c_{7}} + {a_{7}c_{6}}} \right) & \left( {{b_{6}c_{7}} + {b_{7}c_{6}}} \right) & {- \left( {{a_{6}b_{7}} + {a_{7}b_{6}}} \right)} \end{bmatrix}},{\overset{\_}{b} = \begin{bmatrix} {a_{1}a_{2}} \\ {a_{1}a_{3}} \\ {a_{2}a_{3}} \\ {a_{4}a_{5}} \\ {a_{6}a_{7}} \end{bmatrix}}$

[0278] If the matrix

is invertible, this system admits a solution {overscore (u)}=

⁻¹{overscore (b)}. Finally, the intrinsic camera parameters are retrieved from {overscore (u)} as follows: $\begin{matrix} \left\{ \begin{matrix} {f_{x} = \sqrt{u_{1} - u_{3}^{2} - \frac{\left( {u_{4} - {u_{3}u_{5}}} \right)^{2}}{u_{2} - u_{2}^{2}}}} \\ {{f_{y} = {f_{x}/\sqrt{u_{2} - u_{5}^{2}}}}\quad} \\ {{c_{x} = u_{3}}\quad} \\ {{c_{y} = \frac{u_{4} - {u_{3}u_{5}}}{u_{2} - u_{2}^{5}}}\quad} \\ {{\alpha = u_{5}}\quad} \end{matrix} \right. & (3.20) \end{matrix}$

[0279] This final step consisting of de-embedding the intrinsic parameters from the vector {overscore (u)} is equivalent to a Choleski decomposition of the matrix K^(T) K in order to retrieve K.

[0280] If

is not invertible, then the camera model needs to be reduced. A similar situation occurs when only one face of the rectangular parallelepiped is known to be square. In that case, one of the last two constraints of (3.15) has to be dropped, leaving only 4 equations. A first model reduction consists of setting the skew factor α=0, and keeping as unknowns the two focals (ƒ_(x), ƒ_(y)) and camera center (c_(x), c_(y)). That approximation is very reasonable for most cameras currently available. The resulting camera matrix K has the form: $\begin{matrix} {K = \begin{bmatrix} {1/f_{x}} & 0 & {{- c_{x}}/f_{x}} \\ 0 & {1/f_{y}} & {{- c_{y}}/f_{y}} \\ 0 & 0 & 1 \end{bmatrix}} & (3.21) \end{matrix}$

[0281] leading to the following KTK matrix: $\begin{matrix} {{K^{T}K} = {\frac{1}{f_{x}^{2}}\begin{bmatrix} 1 & 0 & {- c_{x}} \\ 0 & \left( {f_{x}/f_{y}} \right)^{2} & {- {c_{y}\left( {f_{x}/f_{y}} \right)}^{2}} \\ {- c_{x}} & {- {c_{y}\left( {f_{x}/f_{y}} \right)}^{2}} & {f_{x}^{2} + c_{x}^{2} + {c_{y}^{2}\left( {f_{x}/f_{y}} \right)}^{2}} \end{bmatrix}}} \\ {= {\frac{1}{f_{x}^{2}}\begin{bmatrix} 1 & 0 & {- u_{3}} \\ 0 & u_{2} & {- u_{4}} \\ {- u_{3}} & {- u_{4}} & u_{1} \end{bmatrix}}} \end{matrix}$

[0282] Then, each constraint (V_(i) ^(p))^(T) (K^(T) K) (V_(j) ^(p))=0 may be written in the form of a linear equation in {overscore (u)}=[u₁ . . . u₄]^(T):

[−c _(i) c _(j) −b _(i) b _(j) (a _(i) c _(j) +a _(j) c _(i)) (b _(i) c _(j) +b _(j) c _(i))]{overscore (u)}=a _(i) a _(j),  (3.22)

[0283] resulting in a 4×4 linear system

{overscore (u)}={overscore (b)}, admitting the solution {overscore (u)} if

is rank 4. The intrinsic camera parameters (ƒ_(x), ƒ_(y), c_(x), c_(y)) may then be computed from the vector {overscore (u)} following the set of equations (3.20) setting α=u₅=0. When

has rank less than 4, the camera model needs to be further reduced (that is the case when only 3 orthogonality constraints are available). A second reduction consists of using a single focal ƒ_(c)=ƒ_(x)=ƒ_(y), leading to a 3 DOF model. In that case, the K matrix takes on the following reduced expression: $K = {\left. \begin{bmatrix} {1/f_{c}} & 0 & {{- c_{x}}/f_{c}} \\ 0 & {1/f_{c}} & {{- c_{y}}/f_{c}} \\ 0 & 0 & 1 \end{bmatrix}\Rightarrow{K^{T}K} \right. = {{\frac{1}{f_{c}^{2}}\begin{bmatrix} 1 & 0 & {- c_{x}} \\ 0 & 1 & {- c_{y}} \\ {- c_{x}} & {- c_{y}} & \left( {f_{c}^{2} + c_{x}^{2} + c_{y}^{2}} \right) \end{bmatrix}} = {\frac{1}{f_{c}^{2}}\begin{bmatrix} 1 & 0 & {- u_{2}} \\ 0 & 1 & {- u_{3}} \\ {- u_{2}} & {- u_{3}} & u_{1} \end{bmatrix}}}}$

[0284] Then, each constraint listed in (3.15) can be written in the form of a linear equation of the variable {overscore (u)}=[u₁ u₂ u₃]^(T):

(V _(i) ^(p))^(T) (K ^(T)K) (V _(j) ^(p))=0

[−c _(i) c _(j) (a _(i) c _(j) +a _(j) c _(i)) (b _(i) c _(j) +b _(j) c _(i))]{overscore (u)}=(a _(i) a _(j) +b _(i) b _(j))

[0285] Once again, this leads to the linear problem

{overscore (u)}={overscore (b)} where

is a 5×3 matrix, and {overscore (b)} a 5-vector (if all five constraints are valid). A least squares solution is in general possible: {overscore (u)}=(

^(T)

)⁻¹

^(T){overscore (b)}. Notice that if the faces of the rig are known mutually orthogonal but not necessarily square, then only the three first constraints of (3.15) are enforceable. In that case, the linear system is 3×3, and its solution is {overscore (u)}=

⁻¹{overscore (b)}. Once the vector {overscore (u)} is recovered, the intrinsic camera parameters have the following expression: $\begin{matrix} \left\{ \begin{matrix} {f_{c} = {f_{x} = {f_{y} = \sqrt{u_{1} - u_{2}^{2} - u_{3}^{2}}}}} \\ {c_{x} = u_{2}} \\ {c_{y} = u_{3}} \end{matrix} \right. & (3.23) \end{matrix}$

[0286] When

has rank less than 3, the model needs to be further reduced to 2 or 1 DOF by taking the optical center out of the model (fixing it to the center of the image) and then going back to the original model adopted in the planar rig case (one or two focal models).

[0287] This system can enable decoupling intrinsic from extrinsic parameters and derive a set of closed-form solutions for intrinsic camera calibration in case of five model orders: 1, 2, 3, 4 and 5 degrees of freedom. In addition, we stated conditions of observability of those models under different experimental situations corresponding to planar and three-dimensional rigs. The following table summarizes the results by giving, for each model order, the list of parameters we have retrieved explicit expressions for, as well as the minimum structural rig necessary to estimate the model: Calibration rig (minimum Model order Parameters required structure) 1 DOF f = f_(x) = f_(y) 2D rectangle 2 DOF f_(x), f_(y) 2D square 3 DOF f = f_(x) = f_(y), c_(x), c_(y) 3D rectangular parallelepiped 4 DOF f_(x), f_(y), c_(x), c_(y) 3D rectangular parallelepiped with one square face 5 DOF f_(x), f_(y), c_(x), c_(y), α 3D cube

[0288] One could use this explicit set of solutions for calibrating image sequences where intrinsic camera parameters are time varying. A typical sequence could be a flyby movie over a city with buildings.

[0289] In a broader sense, this work provides a general framework for approaching problems involving reconstruction of three-dimensional scenes with known structural constraints (for example orthogonality of building walls in a picture of a city). Indeed, constraints, such as parallelism or orthogonality, find very compact and exploitable representations in dual-space. This approach may avoid traditional iterative minimization techniques (computationally expensive) in order to exploit constraints in a scene.

[0290] Although only a few embodiments have been disclosed in detail above, other embodiments are possible. 

What is claimed is:
 1. A method, comprising: moving a shadow across a three-dimensional scene; imaging said moving shadow; and determining three dimensional information about the scene from the moving shadow.
 2. A method as in claim 1, wherein said imaging comprises using a camera to obtain an image of the moving shadow.
 3. A method as in claim 2, further comprising determining a transformation between an image plane of the camera and actual plane comprising the three-dimensional scene.
 4. A method as in claim 1, wherein said determining comprises triangulating to form information indicative of points on the three-dimensional scene.
 5. A method as in claim 4, further comprising an initial operation of calibrating a position of a light source.
 6. A method as in claim 4, further comprising an initial operation of calibrated a position of a plane on which the three-dimensional scene is located.
 7. A method as in claim 6, wherein said imaging said moving shadow comprises determining a shadow time at each of a plurality of image elements, and locating a projection of the shadow in a plane of a camera used to obtain an image of the moving shadow.
 8. A method as in claim 7, further comprising converting said projection into actual shadow information.
 9. A method as in claim 5, wherein said calibrating a position of the light source comprises imaging an item of known height by defining a position of its shadow, and triangulating a position of the light source.
 10. A method as in claim 1, wherein said determining comprises converting information into a dual-space representation, and calculating said information in said dual space representation.
 11. A method as in claim 1, wherein said determining comprises obtaining images of different edges at different locations, and using information about the intersection to form three-dimensional information.
 12. A method comprising: obtaining an image of the shadow on a three-dimensional scene using an image acquisition element; and converting said image using additional information, to determine actual three dimensional information about the three-dimensional scene.
 13. A method as in claim 12, wherein said additional information is a position of a light source.
 14. A method as in claim 12, wherein said additional information is a position of a reference plane.
 15. A method as in claim 14, wherein said reference plane is a single reference plane.
 16. A method as in claim 14, wherein said additional information about said reference plane includes a position of two different reference planes.
 17. A method as in claim 12, wherein said additional information is information about a shadow of unknown object of known height.
 18. A method as in claim 12, wherein said additional information is information from a second light source.
 19. A method as in claim 12, wherein said additional information is information from a second shadow.
 20. A method as in claim 14, further comprising a calibration operation that determines a position of the reference plane.
 21. A method as in claim 12, wherein said converting comprises converting a projection of the shadow into actual shadow information.
 22. A method as in claim 13, further comprising obtaining an object of known high, obtaining as shadow of said object, and using said shadow to determine the position of the light source.
 23. A method as in claim 12, wherein said additional information is information which propagates between edges of the image.
 24. A method as in claim 12, wherein said shadow is formed by two separate light sources.
 25. A method as in claim 12, wherein said converting comprises defining said shadow as a set of edges ∈, and a set of intersection points pk.
 26. A method of imaging a three-dimensional surface, comprising: projecting a moving shadow across the three-dimensional surface to the imaged; obtaining an image of the moving shadow at each of a plurality of times; determining a relationship between the image and the three-dimensional surface at each of the plurality of times; and converting said image into information of the three-dimensional surface.
 27. A method as in claim 26, wherein each image includes a line of the shadow, including a plurality of points p, which represent points P on the three-dimensional surface.
 28. A method as in claim 27, wherein said converting comprises triangulating between a reference plane of an imaging object and a reference plane of the three-dimensional surface.
 29. A method as in claim 28, wherein said triangulating includes determining a position of a light source, and determining a reference plane between said light source and a line of the moving shadow.
 30. A method as in claim 28, wherein said converting comprises determining positions of horizontal and vertical reference planes, and triangulating using said positions.
 31. A method as in claim 30, wherein said determining positions comprises determining positions of at least one plane by a calibration operation.
 32. A method as in claim 29, wherein said determining a position of a light source comprises using an object of known high to triangulating a position of a light source, by obtaining a shadow of the object of known height.
 33. A method as in claim 26, wherein said converting comprises converting the information obtained into dual space, and calculating the values obtained in the dual space representation.
 34. A method as in claim 26, wherein said converting comprises determining three-dimensional information about three points in the image, and determining all other points from said determining three points.
 35. A method as in claim 26, wherein said obtaining comprises using a camera to obtain said image, and wherein said converting comprises determining information about the camera reference plane, and converting said image using said information about the camera reference plane. 